summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-07bugfixes in the parser for PGF.Type.Typekrasimir
2009-07-05bugfix in PGF.Expr.applykrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵krasimir
without bound variable
2009-07-05PGF.Expr.eval now returns suspension when a meta variable is encounteredkrasimir
2009-09-05simple profiler for PMCFGkrasimir
2009-09-03revised FoodsHebaarne
2009-08-27the -dump-X options should convert to UTF8krasimir
2009-08-29food grammars added, with copyright statementsaarne
2009-08-28added contrib and summerschoolaarne
2009-08-27if there is oper patt = #(...) then it also should be decoded to Unicodekrasimir
2009-08-27some corrections in Bronzeageaarne
2009-08-27Persian transliterationaarne
2009-08-25let the 'se utf8' command change the terminal codepage to 65001 on Windowskrasimir
2009-08-21ancient greek ut additionsaarne
2009-08-19the parsing test now evaluates all languageskrasimir
2009-08-19add functions and functionType to the PGF APIkrasimir
2009-08-18let the GF.Grammar.Printer printer output the unicode symbols directlykrasimir
2009-08-18fix the unicode encoding problem with the cc commandkrasimir
2009-08-07transliteration now needs addition only in one file; a code can be more than ↵aarne
2 chars; ancientgreek added
2009-08-06merge some changes from the latest version of Data.Binary. Makes the binary ↵krasimir
decoding faster
2009-07-22added testcase for pattern matching on runtime variableskrasimir
2009-07-22updated the output in testsuite/compiler/check/linskrasimir
2009-07-07added testcases for evaluation with suspensionkrasimir
2009-07-06added example for abstract syntax of RDFkrasimir
2009-06-24updated bibliographyaarne
2009-06-24simplification: decodeFile doesn't have to check that the file is empty anymorekrasimir
2009-06-24make the Functor Get instance in Data.Binary strict to be sure that the ↵krasimir
decoder is strict
2009-06-24bugfix: Use openBinaryFile in Data.Binary.decodeFile. It makes difference ↵krasimir
only on Windows
2009-06-24explicitly close the file handle in Data.Binary.decodeFilekrasimir
2009-06-23make Data.Binary.decodeFile stricter. It seems like this fixes the file ↵krasimir
locking problem on Linux
2009-06-23added preCopy and postCopy hooks in Setup.hskrasimir
2009-06-23made .cf grammars take their startcat from the first ruleaarne
2009-06-22next-lib renamed to lib, lib to old-libaarne
2009-06-22cleaning up overshadow failure to warning, after testing resource compilationaarne
2009-06-22some more fixes for cleaner compilation of alltensensesaarne
2009-06-22fixed warnings in present compilation of resource, esp. unreached patternsaarne
2009-06-22test unification in TypeCheckaarne
2009-06-20the construct lin C t now replaces lock fields (in source code; still tempor ↵aarne
used internally); lock fields removed from english resource as an example
2009-06-20accepting + patterns in pre expressionsaarne
2009-06-20function for printing the help file in txt2tagsaarne
2009-06-05made AllLat compilable and fixed a bug in first declensionaarne
2009-06-19in splitContraints the values first have to be reducedkrasimir
2009-06-19replace the reference to src/INSTALL with doc/gf-developers.html in the READMEkrasimir
2009-06-19extend the developers documentation with some information for ↵krasimir
readline,editline and haskeline
2009-06-19fix the current PGF typecheckerkrasimir
2009-06-19bugfix: restore the check for bound variables in expr2treekrasimir
2009-06-18added testcase for linearization with HOASkrasimir
2009-06-18in the ai command don't show the fun keyword if there aren't any functions.krasimir
2009-06-18the PMCFG lexical categories are not printed out with prefix C i.e. CInt,.. ↵krasimir
to make them different from the same PGF categories
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-04 12:33:33 +0000