summaryrefslogtreecommitdiff
path: root/examples
AgeCommit message (Collapse)Author
2010-06-14added equality proof in the constructor for natural trasformationskrasimir
2010-06-07fix typo in category theorykrasimir
2010-06-06definitions for some high-order predicates that were missingkrasimir
2010-06-06SUMO: remove the uggly SubClassC and use KappaFn insteadkrasimir
2010-06-06changes in SUMO: formatting and fixes for lots of lots of small problemskrasimir
2010-06-03word for Shop in Swedishaarne
2010-06-02changed preposition in romance phrasebooksaarne
2010-06-02Remove "Back to phrasebook link" from the help page, since it opens in a new ↵hallgren
window.
2010-06-02more edits in doc-phrasebookaarne
2010-06-02finishing phrasebook documentation ; changed doc nameaarne
2010-06-01updated phrasebook docaarne
2010-06-01corrections in PhrasebookNoraarne
2010-05-30bugfix part2adam.slaski
2010-05-30bugfix for Polish Phrasebookadam.slaski
2010-06-01some comments in the code for category theorykrasimir
2010-06-01El -> Obj in category theorykrasimir
2010-06-01cleanup the code for category theorykrasimir
2010-06-01GCongratulations, GHappyBirthday and GGoodLuck in Bulgariankrasimir
2010-05-29fixes in PhrasebookGer and the inAcc_Prepaarne
2010-05-29non ho birra in Italian phrasebookaarne
2010-05-29preposition for toilet in PhrasebookSweaarne
2010-05-29more accurate treatment of negative "have" clauses in Phrasebookaarne
2010-05-28est-ce qu'il y a in PhrasebookFraaarne
2010-05-28lexical corrections in PhrasebookNoraarne
2010-05-28added inherent number to places, fixed places in Frenchramona.enache
2010-05-28fixed prepositions and distance questions in the French Phrasebookramona.enache
2010-05-28removed warning from the English Phrasebookramona.enache
2010-05-28final fixes in the German Phrasebookramona.enache
2010-05-28genitive s in Nor possessives ; some Nor words in Phrasebookaarne
2010-05-28prodrop in Finnish Phrasebook possessivesaarne
2010-05-28disambiguation of partitive mass terms in ENglishaarne
2010-05-28forms of PhrasebookSwe.Cinemaaarne
2010-05-27adjustments in Phrasebookaarne
2010-05-27Danish crown in PhrasebookPolaarne
2010-05-27phrasebook doc updated to Polaarne
2010-05-26polish demoadam.slaski
2010-05-26fixed AHasAge in English to "I am ten years old"ramona.enache
2010-05-26added first version of PhrasebookRusramona.enache
2010-05-26fixes in partitives in Phrasebookaarne
2010-05-26Cleaning PhrasebookCatjordi.saludes
2010-05-26Put 'dative' in all Place'sjordi.saludes
2010-05-26Completing WordsCatjordi.saludes
2010-05-26Ita and Fre superlatives, Ita possessives, in Phrasebookaarne
2010-05-26preposition zu in PhrasebookGeraarne
2010-05-26"fixes to Ita"caprotti
2010-05-26"Rise corrections to Danish"caprotti
2010-05-25Change 'estar' to 'ser' for placesjordi.saludes
2010-05-25WordsCat compilesjordi.saludes
2010-05-25WordsCat in_Prep problemjordi.saludes
2010-05-25'PersonName' comes back after fixing StructuralCatjordi.saludes
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 22:00:51 +0000