summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2013-06-27a complete Python API for reading, printing and manipulation of abstract tree...kr.angelov
2013-06-26dummy compute function in the Python bindingkr.angelov
2013-06-26we no longer maintain an explicit list of functions per category since now it...kr.angelov
2013-06-26forgot to add reasoner.hkr.angelov
2013-06-26forgot to add jit.hkr.angelov
2013-06-26an optimization in the jitter for generating more compact codekr.angelov
2013-06-26patch for adjustable heuristics from Pythonkr.angelov
2013-06-26compatibility issue for MacOS Xkr.angelov
2013-06-26fix for x86_64kr.angelov
2013-06-26GF homepage: Add section for "getting help" (mentioning IRC channel)john.j.camilleri
2013-06-25Now there is a just-in-time compiler which generates native code for proof se...kr.angelov
2013-06-24bugfix for the linearizer in the C runtimekr.angelov
2013-06-24Add news about Maltese RG, IRC channel to homepagejohn.j.camilleri
2013-06-22bugfix for the word completion in the C runtimekr.angelov
2013-06-20add x86_64 support to GNU lightningkr.angelov
2013-06-19fíx in the Python binding for compatibility with Python<2.7kr.angelov
2013-06-19fix an issue in the Python binding related to the 32 vs 64 bit compatibilitykr.angelov
2013-06-17fix for a couple of warnings that are generated when GNU lightning is usedkr.angelov
2013-06-17add the source code for GNU lightning in the source directory for the C runtimekr.angelov
2013-06-15added Sindhi Phrasebookvirk.shafqat
2013-06-15Improvements In Sindhi RGvirk.shafqat
2013-06-14bugfix in the python bindingkr.angelov
2013-06-13Fix UTF-8 decoding problem in gf -serverhallgren
2013-06-13Syntax editor: minor CSS tweak to resemble Minibar morejohn.j.camilleri
2013-06-13Syntax editor: AST string always shown, remove export buttonjohn.j.camilleri
2013-06-11Update Maltese Foods grammarjohn
2013-06-10Maltese RG: first proper releasejohn
2013-06-10Update the usage text for the --output-format optionhallgren
2013-06-02GF.Text.Transliterations: avoid error prone function Data.Map.fromAscListhallgren
2013-05-31Prasad's sanskrit transliteration ; MiniresourceSan now compiles but is mostl...aarne
2013-05-31now the call Expr.unpack("? e1 e2") in Python returns a pair with None as the...kr.angelov
2013-05-31improved error message in the Python bindingkr.angelov
2013-05-31started MiniresourceSan ; doesn't compile yetaarne
2013-05-30bugfix for the grammar printer in the C runtimekr.angelov
2013-05-30phrasebook Nor compiles again; added make ParseChi and ParseEngChiaarne
2013-05-28added VW foundation as sponsor and made the title conformant to funding decis...aarne
2013-05-30PhrasebookLav is now compatible with the latest resource grammarnormundsg
2013-05-30the Bulgarian phrasebook works againkr.angelov
2013-05-30Remove summer school page from darcsjohn.j.camilleri
2013-05-30Summer school page: add link to Google Groupjohn
2013-05-30Summer school page: udpate with directions from Hansjohn
2013-05-29a simple refactoring in the Python runtimekr.angelov
2013-05-29readPGF in the Python runtime now throws "No such file or directory" exceptio...kr.angelov
2013-05-29Summer School page: minor adjustmentsjohn.j.camilleri
2013-05-29Update Summer School page with sponsorship info (Aarne's changes)john.j.camilleri
2013-05-28added a test class for the Java API plus a small refinement in the implementa...kr.angelov
2013-05-28an initial skeleton for building a Java binding to the C runtimekr.angelov
2013-05-24Demo page: add a version of the minibar that shows just the MOLTO Application...hallgren
2013-05-21fix the encoding problem with unicode literals in the Python bindingkr.angelov
2013-05-20annotated Adv's in SentencesI to Syntax.Adv to avoid some clashes aarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-27 20:15:13 +0000