summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2011-08-30GF.Grammar.Lookup: added function lookupQIdentInfohallgren
+ Avoids some code duplication by combinging lookupModule and lookupIdentInfo. + Also removed lookupIdentInfo from export list, since it is not used anywhere else.
2011-08-30PatternMatch.hs: commented out suspicious unused function varsOfPatthallgren
2011-08-30GrammarToPGF.hs: comment out unused importshallgren
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2011-08-30bugfix: allow higher-order variables in the linearizationkr.angelov
2011-08-29skip spaces before closing parenthesis in PGF.Expr.pFactoraarne
2011-08-28import 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-25pgf-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-25reload command in shellaarne
2011-08-24pgf-service: apply the OpenMath LaTeX function only when linearizing to ahallgren
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-23pgf-service: add Jordis transfer function for OpenMath LaTeX outputhallgren
2011-08-22minibar: documentation updatehallgren
2011-08-22minibar: 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-22commented Compute/Concrete with explanationsaarne
2011-08-22pgf service: external service hook: always format the output as a JSON stringhallgren
2011-08-22pgf service: added a hook for external serviceshallgren
This is really reinventing CGI, people should learn how to write CGI scripts instead... TODO: better handling of temporary files
2011-08-21minibar: documentation fixeshallgren
2011-08-19minibar: bug fix for "Try Google Translate" buttonhallgren
2011-08-17gfse: fix an issue with Webkit browershallgren
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-16minibar: adding pgf_offline.jshallgren
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-11minibar: documentation and API workhallgren
2011-08-11minibar: some functions were in the wrong filehallgren
2011-08-09minibar: more documentation (in minibar-api.html)hallgren
2011-08-08minibar: refactoring for improved modularityhallgren
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-08minibar: resolve conflicthallgren
2011-08-03minibar: improve pgf_online.jshallgren
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-03minibar: small code and documentation tweakshallgren
2011-08-08minibar: recording old configuration changeshallgren
2011-08-01gfse: added links to download PGF files for user's grammarshallgren
2011-08-01gfse: add missing file share.html to darcshallgren
Also fix bug in share.html by adding cloud.js to the list of loaded JavaScript files.
2011-07-29gfse: some correctness checks for concrete syntaxhallgren
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-29gfse: refactoringhallgren
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-26gfse: about: added a note that each grammar has a unique identity ↵hallgren
independent of its name
2011-07-25gfse: various small improvementshallgren
2011-07-21GenIP, GenRP in Extra and any_Quant in ExtraEngaarne
2011-07-07gfse: new section "Grammars in the cloud" in about.htmlhallgren
2011-07-07gfse: grammars in the cloud, still primitve, but good enough to be installed ↵hallgren
on the server, I think
2011-07-07gfse: grammars in the cloud, work in progresshallgren
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-06gfse: grammars in the cloud, work in progresshallgren
2011-06-08gfse: initial support for grammars in the cloudhallgren
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-21minibar support.js: add function ajax_http_post for posting FormDatahallgren
2011-06-21gf-server: make pgf-service work the Apache mod_fastcgihallgren
pgf-service now appears to works with Apache mod_fastcgi (under Mac OS X) in addition to lighttpd. One difference appears to be that while lighttpd passes the name of the PGF file in the SCRIPT_FILENAME variable, Apache passes it in PATH_TRANSLATED. But perhaps this depends on exactly how the fastcgi service is configured. The following is what I added to the Apache configuration file to test this: <Directory /Library/WebServer/Documents/fcgi-bin> SetHandler fastcgi-script Options +ExecCGI </Directory> Action pgf-service /fcgi-bin/pgf-service AddHandler pgf-service .pgf
2011-06-21gf-server: enable -rtsopts when compiling with ghc>=7.0hallgren
2011-06-21gf-server.cabal: a separate flag for the content servicehallgren
* Use cabal install -ffastcgi to compile the fastcgi server. * Use cabal install -fcontent to compile the content service (off by default, currently broken) * Use both flag to compile both.
2011-05-07gfse: fix a problem in browsers where "class" is a reserved keywordhallgren
2011-06-20refinementNepali-11-06-20virk.shafqat
2011-06-14allow empty lines in transliteration filesaarne
2011-06-02Predef functions toUpper, toLower, isUpperaarne
2011-05-19refinementsTextUrd-11-05-19virk.shafqat
2011-05-06gfse: you can now add concrete syntax for arbitrary languageshallgren
Before, you had to pick a language from a list of supported languages, but now you can also pick Other and change the language code afterwards.
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-26 22:05:39 +0000