summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-10-14register PGF.AbsCompute and PGF.Paraphrase in GF.cabalkrasimir
2008-10-13remove GF.Source.ErrM from GF.cabalkrasimir
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, and...aarne
2008-10-10added a note on refreshing variables in AbsComputeaarne
2008-10-10a first version of PGF.AbsComputeaarne
2008-10-10AdjOrd instance of mkAPaarne
2008-10-10Added option to treat some categories as lexical when generating Haskell data...bjorn
2008-10-08oops - forgot mkPresent as wellaarne
2008-10-08oops - had forgotten Makefile from next-libaarne
2008-10-06next-lib now compiles webalt ; removed subdir mathematical/ for simplicityaarne
2008-10-06simplified 1.5 by removing mathematical/aarne
2008-10-05added a command for tree operations and started a module for defining themaarne
2008-10-05adapted old AbsCompute for use with source GF termsaarne
2008-10-05prevent pgf from being empty when there are no concrete syntaxesaarne
2008-10-05forced checking def definitions; accept pgf with no concretesaarne
2008-10-03extended AP with Ord and compar in 1.5aarne
2008-10-03print full types instead of lock field heuristics in overload resolution if t...aarne
2008-10-03return error on undefined opers in instance and resourceaarne
2008-10-03Merge mine and aarne's variants linearization changes.bjorn
2008-10-03Don't build FV terms if there is exactly one variant.bjorn
2008-10-03made variants checking symmetric for Ints m == Ints n in PGF.Checkaarne
2008-10-03fixed the over-expansion of record variants in PGF.Linearizeaarne
2008-10-03Fixed variants semantics in PGF linearization to expand make variants of argu...bjorn
2008-10-03Added | syntax for variants.bjorn
2008-10-03Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.h...bjorn
2008-10-02Regenerate source GF parser from GF.cf. Now, when GF/Source/Makefile is used,...bjorn
2008-10-02Added src/GF/Source/Makefile for regenerating the GF source parser from GF.cf.bjorn
2008-10-02Converted GF/Source/*.hs to Unix line endings, to be able to see what happens...bjorn
2008-10-02Fail more gracefully on unknown file name extensions.bjorn
2008-10-01small fixes in tutorial ; added txt source of the sameaarne
2008-10-01added mode 'gf --run' for running silently a script ; made quizzes handle cha...aarne
2008-10-01refreshed the tutorialaarne
2008-10-01Italian "quello" correctedaarne
2008-10-01download page for beta2 ; link to JEM demoaarne
2008-09-30more work with Parametricaarne
2008-09-30started experiment on parametrizing more of RG definitionaarne
2008-09-30Use parantheses for precedence in pgf-pretty lincats.bjorn
2008-09-30Added --cfg option for specifying which CFG transformations to use. Added sta...bjorn
2008-09-30Fixed CFG start cats for categories with more than one constituent.bjorn
2008-09-30Use filtering in regular printer.bjorn
2008-09-30SRG conversion: print CFG when a unknown cat is found in renameCats. Do filte...bjorn
2008-09-30pgf-pretty: remove single field record lincat hack. handle f "" (S []) correc...bjorn
2008-09-30Some pgf-pretty fixes, including note by Peter about W "apa" (S []).bjorn
2008-09-25Changes to the prolog output formatpeb
2008-09-26Added pgf-pretty output-formatbjorn
2008-09-26Added isLiteralCat function to PGF.Macros.bjorn
2008-09-26Added 'complete' function to the PGF API. This is a higher-level API to the c...bjorn
2008-09-26Added semantic interpretation tag printing to the *bnf grammar printers.bjorn
2008-09-26Use ebnf format for "regular" output-format.bjorn
2008-09-26Changed nolr printer to use EBNF format.bjorn