| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-03-12 | make it possible to override opers defined in an interface by syntax ↵ | aarne | |
| 'instance Foo of Bar - [f,g,h]' | |||
| 2011-03-12 | make later flags take priority over earlier ones in PGF generation | aarne | |
| 2011-03-12 | generalized pt -transfer so that it goes into subtrees (naive implementation ↵ | aarne | |
| in TreeOperations; using PGF.Expr.match would be better); example given in 'h pt' | |||
| 2011-03-09 | gfse: documentation fixes, links to MOLTO meeting slides and compiler API ↵ | hallgren | |
| document | |||
| 2011-03-09 | gfse: add a link from demo page to the editor | hallgren | |
| 2011-03-08 | fix the grammar browser in the editor | krasimir | |
| 2011-03-07 | the user can now upload their own grammars in the editor | krasimir | |
| 2011-03-07 | gfse: create a new concrete syntax by copying an existing one | hallgren | |
| When adding a new concrete syntax to a grammar, the currently open concrete syntax will be copied. If the abstract syntax is currently open, the new concrete syntax will start out empty. | |||
| 2011-03-07 | gfse: link back to the editor from the upload page | hallgren | |
| 2011-03-06 | gfse: minor layout/formatting variation | hallgren | |
| 2011-03-05 | added composOp generation to haskell-gadt, and an example in ↵ | aarne | |
| examples/gadt-transfer | |||
| 2011-03-04 | switched the upper and lower parts of lexc entries to their standard order | aarne | |
| 2011-03-04 | revived GADT generation | aarne | |
| 2011-03-04 | fixed a variable refreshing bug in the compiler | aarne | |
| 2011-03-03 | minibar: add icon for word alignment button | hallgren | |
| 2011-03-03 | minibar: add a button to display word alignment | hallgren | |
| 2011-03-03 | GF shell restricted mode | hallgren | |
| By setting the environment variable GF_RESTRICTED before starting GF, the shell will be run in restricted mode. This will prevent the GF shell from starting arbitrary system commands (most uses of System.Cmd.system are blocked) and writing arbitrary files (most commands that use writeFile et al are blocked). Restricted mode is intended minimize the potential security risks involved in allowing public access to the GF shell over the internet. It should be used in conjuction with system level protection mechanisms (e.g. file permissions) to make sure that a publicly acessible GF shell does not give access to parts of the system that should not be publicly accessible. | |||
| 2011-03-03 | gf.cabal: bump version number, add source repository info | hallgren | |
| I changed the version number to 3.2.1-darcs. I think the version number of the current version from darcs should always include the "-darcs" suffix (or "-current" perhaps?). The suffix should be removed only momentarily when making an official release. | |||
| 2011-03-03 | overloaded opers included in sorting of judgements | aarne | |
| 2011-03-03 | print lexicon in Xerox LEXC format: pg -lexc | aarne | |
| 2011-03-01 | corrected help for l command | aarne | |
| 2011-03-01 | demos/index.html: minibar is now available on the standard port | hallgren | |
| Minibar was at http://www.grammaticalframework.org:41296/minibar/minibar.html but now also at http://www.grammaticalframework.org/demos/minibar/minibar.html which means it is accessible behind firewalls that block requests to nonstandard ports. | |||
| 2011-03-01 | demo/indx.html: record translation quiz entry | hallgren | |
| 2011-03-01 | minibar/support.js: recognize relative URLs as locations on the same server | hallgren | |
| This means that the relative grammar directory location in the default configuration will result in AJAX requests rather than the less efficient JSONP requests. | |||
| 2011-03-01 | minibar: make the feedback form work in the generic minibar | hallgren | |
| It is still disabled by default, since some manual configuraiton of feedback.cgi is required. | |||
| 2011-02-28 | gfse: fix missing startcat flag bug + documentation updates | hallgren | |
| 2011-02-28 | gfse: fix persmission problem in upload.cgi | hallgren | |
| 2011-02-28 | gfse: include a -path flag to find rgl modules | hallgren | |
| 2011-02-28 | gfse: support for opening RGL modules | hallgren | |
| 2011-02-28 | gfse: minor documentation and style improvements | hallgren | |
| 2011-02-28 | the command show_operations to inspect opers in scope | aarne | |
| 2011-02-26 | removed message showing what modules are read unless in verbose mode | aarne | |
| 2011-02-25 | Predef.error surfaces as error message in compilation and cc command | aarne | |
| 2011-02-25 | simple grammar for dates | aarne | |
| 2011-02-25 | command ga moved to option 'aw -giza' | aarne | |
| 2011-02-24 | FoodsNep by Dinesh Simk | aarne | |
| 2011-02-22 | gfse: allow definitions to be reordered by drad-and-drop | hallgren | |
| 2011-02-18 | gfse: fix typos | hallgren | |
| 2011-02-18 | gfse: document that grammars can be uploaded and tested in the GF shell, the ↵ | hallgren | |
| minibar and the translation quiz | |||
| 2011-02-18 | gfse: updated screen shots | hallgren | |
| 2011-02-18 | gfse: support for linking to the translation quiz | hallgren | |
| 2011-02-18 | translation quiz: always show the grammar menu | hallgren | |
| 2011-02-18 | translation quiz: a small change to make easy to select an alternate grammar ↵ | hallgren | |
| directory | |||
| 2011-02-17 | gfse: some small fixes | hallgren | |
| + 'make install' to copy all required files to the server + configuration options and error checks in upload.cgi | |||
| 2011-02-17 | Adding the prototype GF editor for simple multilingual grammars | hallgren | |
| 2011-02-17 | Adding the prototype GF editor for simple multilingual grammars | hallgren | |
| 2011-02-17 | Adding the prototype GF editor for simple multilingual grammars | hallgren | |
| 2011-02-09 | example/Discourse for English too | aarne | |
| 2011-02-09 | factored DiscourseFin to 4+5 constructors | aarne | |
| 2011-02-09 | more general discourse particles in Finnish | aarne | |
