summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2006-03-20Added some tricky transfer type checking examples.bringert
2006-03-20Transfer TODO: added (A,B : Type) argument types.bringert
2006-03-20Replaced all used of Data.FiniteMap with Data.Map.bringert
2006-03-16documenting nodupatom, announcing 2.5aarne
2006-03-16MatchTerm: testing conditions on terms, e.g. nodupaarne
2006-03-16exitFailure with gf -makeaarne
2006-03-16method for flattening grammarsaarne
2006-03-16Updated config.sub and config.guess.bringert
2006-03-15Transfer prelude: added missing type arguments to some type classes.bringert
2006-03-15Fixed typo in transfer prelude: prim_eq_Strbringert
2006-03-14Use ghc-pkg field instead of latest, to work with ghc-pkg 6.4.bringert
2006-03-13Transfer reflexive example: added ideal version.bringert
2006-03-13Added transfer example: constructing reflexives.bringert
2006-03-10example indexaarne
2006-03-09Added SwadeshGer.priesnit
2006-03-09fixing prolog printingpeb
2006-03-09inferred constants in profilespeb
2006-03-08added todopeb
2006-03-07todoaarne
2006-03-07merging Lexicon with Swadeshaarne
2006-03-07changed regN to be always of type Str -> Naarne
2006-03-06more treebank options; updated historyaarne
2006-03-06Transfer type system: some random changesbringert
2006-03-06working on ExTramI and german verbs phraseaarne
2006-03-05make help and treebank optionsaarne
2006-03-04example based also with treebank, with real term parseraarne
2006-03-04proper place of -treebank optionaarne
2006-03-04treebank creating script; duplicated consonants in LexiconEngaarne
2006-03-03distinguished uni and multi treebanksaarne
2006-03-02continuation of environment variable patchpriesnit
2006-03-02GFHOME must now be set in the environmentpriesnit
2006-03-03Transfer type checking algorithm: started on conversion.bringert
2006-03-03Transfer type checking: Added some notation explanation. Added constructor co...bringert
2006-03-03SRGS generation: use XML module escape mechanism. Added beginnings of a not y...bringert
2006-03-03Towards a working VoiceXML generator.bringert
2006-03-03XML module: added CData support. Escape stuff that needs to be escaped in XML.bringert
2006-03-03Transfer: added beginnings of a type checking algorithm description.bringert
2006-03-03Transfer: Removed PType from source and core languages.bringert
2006-03-02several treebanks in shell stateaarne
2006-03-02treebanks in shell state: i -treebank and ltaarne
2006-03-02tb -trees ; rl ; path in gfe ; removed spurious "file not found"aarne
2006-03-01refreshing gfe exampleaarne
2006-03-01ResourceHOWTO updafedaarne
2006-03-01Remove superfluous space in transfer let description.bringert
2006-03-01Transfer reference: remove type annotations in let.bringert
2006-02-28SwadeshEng: give_V uses "to"bringert
2006-02-28SwadeshSwe: know = känna.bringert
2006-02-28Swadesh: fog is a MassN.bringert
2006-02-28SwadeshSwe: give_V = ge till.bringert
2006-02-28Swadesh: made fat MassN and guts N.bringert
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-23 05:06:14 +0000