summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2010-12-06vt -api with conversion to resource API namesaarne
2010-12-05added syntax to api translation modulera.monique
2010-12-01minibar: rewrite minibar.js in a more idiomatic JS OOP stylehallgren
2010-12-01Let minibar keep its own copy of tree-btn.pnghallgren
2010-12-01support.js: add function bind (JS OOP trick)hallgren
2010-11-30two examples of the .gfm formataarne
2010-11-30format .gfm for multiple modules in the same file; includes lines with ;-sepa...aarne
2010-11-28minibar/about.html: minor adjustmentshallgren
2010-11-26Add builtin preprocessors. Avoid creating tmp file. Fix multipreprocessor bug.hallgren
2010-11-26Split pgf-server into pgf-fcgi and pgf-http.hallgren
2010-11-25pgf-server: more useful JSON output from lineraizeAllhallgren
2010-11-25DiffUrd and Hin; updated Transliteration.hsaarne
2010-11-24linearizeAll in PGFServiceaarne
2010-11-22lang flag in align_words sets the list of languagesaarne
2010-11-24command ai in the shell now shows the probability of the treekrasimir
2010-11-23minibar/about.html: document recent developmenthallgren
2010-11-19tools/Multi, a script for generating multilingual lexicon grammars with the m...aarne
2010-11-17fixed some bugs in translation quizaarne
2010-11-17forgot to add ContentService.java in the GF Editorkrasimir
2010-11-15bugfix for the abstract operationskrasimir
2010-11-12operations in the abstract syntaxkrasimir
2010-11-09Some pgf-server API documentationhallgren
2010-11-09pgf_online.js: if a grammar list is supplied, you don't have to call switch_g...hallgren
2010-11-09Make PGFService.hs compile againhallgren
2010-11-09minibar.js: code simplificationhallgren
2010-11-05support.js: two new functions: commonPrefix & insertFirsthallgren
2010-11-07fix the history management in the editorkrasimir
2010-10-25trying to find some inefficiencies in Finnish resourceaarne
2010-11-01preliminary UI for storage/retrieval/search of documents in the GF editorkrasimir
2010-10-31added giza Alignments with command ga and merged the rendering algorithm for ...ramona.enache
2010-10-28minibar.js: bug fix: when not using group translation, and a particular langu...hallgren
2010-10-28minibar.js: bug fix: the To: menu wasn't updated properly when switching gram...hallgren
2010-10-26minibar: restructured code and improved user interfacehallgren
2010-10-26support.js: some enhancements and new functionshallgren
2010-10-25when faced with hard unification problem the type checker should just postpon...krasimir
2010-10-25when we print the bracketed string it is useful to print the attached metavar...krasimir
2010-10-25fixed typo in GeneratePMCFG.hs. fidFloat -> fidVarkrasimir
2010-10-25During the compilation, the final message "OK" should be displayed only if we...krasimir
2010-10-21change the TcM monad to continuation passing style. The old monad caused stac...krasimir
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20bugfix in the term generationkrasimir
2010-10-20fixed typo which broke the parsing with -openclasskrasimir
2010-10-19in the type checker monad we should use lazy pattern matching because otherwi...krasimir
2010-10-18added explicit depth parameter to the parsing API and the corresponding comma...krasimir
2010-10-18typo in PGF.TypeCheck which spoiled the previous patchkrasimir
2010-10-18now we use the GF reasoner to fillin meta variables in the abstract trees gen...krasimir
2010-10-23minibar.html: add a <noscript> element with a note that the page doesn't work...hallgren
2010-10-18minibar.js: show the type error messages that can occur for grammars with dep...hallgren
2010-10-17minibar.js: add an option to enable/disable the Random buttonhallgren
2010-10-14now since the type checking monad TcM is nondeterministic we can use the same...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-27 10:42:12 +0000