| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-04-11 | minibar: small documentation updates and corrections | hallgren | |
| 2011-04-08 | GF shell restricted mode: found one more writeFile that should be restricted | hallgren | |
| 2011-04-06 | avoid warning from ghc-7.0 | hallgren | |
| Warning: -fglasgow-exts is deprecated: Use individual extensions instead | |||
| 2011-04-06 | avoid warning from ghc-7.0 | hallgren | |
| Warning: -fglasgow-exts is deprecated: Use individual extensions instead | |||
| 2011-04-06 | generate Eq instance for GADT | aarne | |
| 2011-04-06 | fixed the printing of predefined and list categories in haskell=gadt | aarne | |
| 2011-04-04 | GFI.hs: refactoring to add a function for executing a single GF shell command. | hallgren | |
| The intention is to use the new function to implement a web service API to the GF shell. | |||
| 2011-04-04 | Add build info to the GF shell welcome message | hallgren | |
| 2011-03-28 | gfse: somewhat simplified configuration/installation | hallgren | |
| 2011-03-28 | gfse: added an alternate style sheet with the MOLTO color scheme | hallgren | |
| 2011-03-22 | minibar: don't force focus to the typed input field after every word | hallgren | |
| On touch-based devices, the on-screen keyboard kept popping up after every word, which was very annoying if you were entering a sentence by tapping on the magnets. | |||
| 2011-03-22 | minibar: add trailing slash in suggested grammar URLs | hallgren | |
| 2011-03-17 | Adding a missing file for the tokenizer... | gdetrez | |
| 2011-02-10 | Adding a basic lexicon-based tokenizer and the asociated command in gf shell | gdetrez | |
| 2010-12-11 | Adding an option to the gf compiler to add an index to pgf files | gdetrez | |
| This is gonna be used by the android library to skip unused part of a pgf file | |||
| 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-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 | 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 | 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 | command ga moved to option 'aw -giza' | 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 | |
