| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-08-30 | bugfixes in the typechecker and the tree generator | kr.angelov | |
| 2011-08-30 | bugfix: allow higher-order variables in the linearization | kr.angelov | |
| 2011-08-29 | skip spaces before closing parenthesis in PGF.Expr.pFactor | aarne | |
| 2011-08-28 | import command now gives priority to new abstract syntax, and discards the ↵ | aarne | |
| old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF | |||
| 2011-08-23 | fix SUMO after the update in DictEng | kr.angelov | |
| 2011-08-25 | pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service ↵ | hallgren | |
| requests URLs. This was a bug in my workaround for a bug in the httpd-shed package. It made it impossible to use the glue token "&+" for Turkish input in the minibar, for example. | |||
| 2011-08-25 | reload command in shell | aarne | |
| 2011-08-24 | pgf-service: apply the OpenMath LaTeX function only when linearizing to a | hallgren | |
| concrete language whose name ends with LaTeX. This change also avoids duplicating output and, in addition to the linearize command, applies the transfer also when using the linearizeAll command. | |||
| 2011-08-23 | pgf-service: add Jordis transfer function for OpenMath LaTeX output | hallgren | |
| 2011-08-22 | Someone added a link to the Android page | hallgren | |
| 2011-08-22 | minibar: documentation update | hallgren | |
| 2011-08-22 | minibar: quick fix to allow literals to be entered. | hallgren | |
| If you press Enter, the current word will be accepted, even if there are no matching completions. (You can now use names of people when constructing sentences in the Letter grammar, for example.) | |||
| 2011-08-22 | commented Compute/Concrete with explanations | aarne | |
| 2011-08-22 | pgf service: external service hook: always format the output as a JSON string | hallgren | |
| 2011-08-22 | pgf service: added a hook for external services | hallgren | |
| This is really reinventing CGI, people should learn how to write CGI scripts instead... TODO: better handling of temporary files | |||
| 2011-08-22 | some adjective fixes in FoodsGle | aarne | |
| 2011-08-22 | the from preposition in various Phrasebooks | aarne | |
| 2011-08-22 | Correct 'Hotel' in Cat Phrasebook | jordi.saludes | |
| 2011-08-21 | minibar: documentation fixes | hallgren | |
| 2011-08-19 | minibar: bug fix for "Try Google Translate" button | hallgren | |
| 2011-08-18 | FoodsGle by Michal Mechura | aarne | |
| 2011-08-18 | FoodsCze by Katerina Bohmova | aarne | |
| 2011-08-17 | gfse: fix an issue with Webkit browers | hallgren | |
| For lin and lincats with empty RHSs, there was nothing to point to to make the edit button (the "%" button) appear in browsers based on Webkit (Safari, Chrome). | |||
| 2011-08-16 | minibar: adding pgf_offline.js | hallgren | |
| This file exports the same PGF runtime interface as pgf_online.js but calls the hs2js translation of the PGF runtime library (which is not included in darcs). | |||
| 2011-08-16 | demos: just recording some recent changes to the index page | hallgren | |
| 2011-08-14 | Hebrew mini resource by Dana Dannells | aarne | |
| 2011-08-12 | gf.cabal: bump version to 3.2.8-darcs | hallgren | |
| This is just to make it easier to tell who has the latest version at the summer school. There has been some bug fixes in gf itself and some significant additions to the RGL since 3.2 was released. Also explicitly require Alex 2.x. The recently released Alex 3.0 has backwards incompatible changes and does not work. GF/Grammar/Lexer.x should probably be modified to support both Alex 2.x and Alex 3.0... | |||
| 2011-08-11 | minibar: documentation and API work | hallgren | |
| 2011-08-11 | minibar: some functions were in the wrong file | hallgren | |
| 2011-08-09 | minibar: more documentation (in minibar-api.html) | hallgren | |
| 2011-08-08 | minibar: refactoring for improved modularity | hallgren | |
| Two smaller objects have been factored out from the Minibar object: Input and Translations. These have been placed in two separate files: minibar_input.js and minibar_translations.js. Some common auxiliary functions have also been moved to a separate file: minibar_support.js | |||
| 2011-08-08 | minibar: resolve conflict | hallgren | |
| 2011-08-03 | minibar: improve pgf_online.js | hallgren | |
| pgf_online.js has been simplified and generalized to support the full GF Web Service API. The changes are backwards incompatible, unfortunately. The documentation and minibar.js have been updated accordingly. | |||
| 2011-08-03 | minibar: small code and documentation tweaks | hallgren | |
| 2011-08-08 | minibar: recording old configuration changes | hallgren | |
| 2011-08-01 | gfse: added links to download PGF files for user's grammars | hallgren | |
| 2011-08-01 | gfse: add missing file share.html to darcs | hallgren | |
| Also fix bug in share.html by adding cloud.js to the list of loaded JavaScript files. | |||
| 2011-07-29 | gfse: some correctness checks for concrete syntax | hallgren | |
| The editor now calls the GF server to check the syntax of expressions that are part of concrete syntax (except for parameter types). This is currently done by using the cc command of the GF shell, which puts some unnecessary restricitons on operation definitions... | |||
| 2011-07-29 | gfse: refactoring | hallgren | |
| Factor out functions that interface to the old cloud service (upload.cgi) from editor.js into cloud.js. Merge changes from editor2.js into editor.js and factor out functions that interface to gf -server into clouds2.js. | |||
| 2011-07-26 | gfse: about: added a note that each grammar has a unique identity ↵ | hallgren | |
| independent of its name | |||
| 2011-07-25 | gfse: various small improvements | hallgren | |
| 2011-07-21 | GenIP, GenRP in Extra and any_Quant in ExtraEng | aarne | |
| 2011-07-07 | The stub of Russian Phrasebook is tweaked to start giving sane output | Nick Frolov | |
| 2011-07-07 | gfse: new section "Grammars in the cloud" in about.html | hallgren | |
| 2011-07-07 | gfse: grammars in the cloud, still primitve, but good enough to be installed ↵ | hallgren | |
| on the server, I think | |||
| 2011-07-07 | gfse: grammars in the cloud, work in progress | hallgren | |
| Cloud merging: when sharing grammars between two devices that previously each had separate grammar directoies on the server, clean up one of the directories and make it a symbolic link to the other. | |||
| 2011-07-07 | Nepali corrected in Synopsis; Nepali and Persian added to main page | aarne | |
| 2011-07-06 | gfse: grammars in the cloud, work in progress | hallgren | |
| 2011-06-08 | gfse: initial support for grammars in the cloud | hallgren | |
| This lets the user access the same set of grammars from multiple devices. Sharing grammars between multiple users is possible but discouraged at the moment. There is no version handling, so concurrent editing of the same grammar by different users might result in one user overwriting changes made by another user. (The same goes for cuncurrent editing on multiple devices by a single user, of course.) | |||
| 2011-06-23 | phrasebook polish updated | adam.slaski | |
