summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-09-29Example-based grammar writing: fix problems caused by the use of exprToAPIhallgren
The editor needs to keep track of both the raw term and the nice term returned by exprToAPI. (Manually constructed linearization rules will now have the raw term and can not be tested.) Also replace metavariables in generalized terms with the apropriate parameter from the linearization rule. Also fix communication problems caused by inconsistent use of show/read vs showExpr/readExpr.
2011-09-28gfse: about.html updateshallgren
2011-09-27gfse: mention example-based grammar writing in about.htmlhallgren
2011-09-27exb: call exprToAPI to create nicer linearization functionshallgren
2011-09-27Server-side support for example-based grammar writinghallgren
2011-09-27gfse: work in progress on support for example-based grammar writinghallgren
2011-09-27Update the shell reference manualhallgren
2011-09-26don't count app nodes in term sizeaarne
2011-09-26Query/small packagedaarne
2011-09-25generalized show_dependencies to take a list of constants as its argumentaarne
2011-09-25structured examples in help into pairs (command,explanation)aarne
2011-09-24bug fixes in code size analysisaarne
2011-09-22change the precedence for the left argument of ->kr.angelov
2011-09-22the sd -size command now shows the size of all code needed for defining an operaarne
2011-09-22documented the ss commandaarne
2011-09-21Update 19 broken links in the GF bibliographyhallgren
Most of the broken link were due to the move from www.cs.chalmers.se was to www.cse.chalmers.se in 2010.
2011-09-21statistics on grammar size in terms of constructorsaarne
2011-09-21fix in the proof search. when we start the generation from a template, we ↵kr.angelov
must start the refinement from the expression that the typecheker generated
2011-09-21commands ss to show source, and sd to show the dependencies of a constantaarne
2011-09-20module for analysing source grammarsaarne
2011-09-20command ss to show source (including gfo) in text; to be extendedaarne
2011-09-20Home page news item about editor modes for GFhallgren
2011-09-20Created a new page documenting available editor modes for GFhallgren
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-20QueryGer added; some bugs to fixaarne
2011-09-20QueryIta addedaarne
2011-09-20QueryFre added; a utf8 typo in StructuralFre correctedaarne
2011-09-19treebank to test Queryaarne
2011-09-19QueryFin improvedaarne
2011-09-19test suite: Don't fail because of the Win32/Unix text file incompatibility.hallgren
2011-09-19Adding test case for interaction between record subtyping and record extensionhallgren
2011-09-16gfse: add Extra and Lexicon to the list of resource modules that can be openedhallgren
2011-09-15added topological sort module to PGF - to be used in example based grammar ↵ra.monique
writing
2011-09-15Add a command name header to the 'help -t2t' outputhallgren
2011-09-15Add the commands to the table of contents in the GF shell reference manualhallgren
2011-09-15made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ↵aarne
characters are returned as themselves and not as question marks
2011-09-14Include a table of contents in the GF shell reference manualhallgren
2011-09-14Separate commands with <hr> instead of <p> in the GF shell reference manualhallgren
2011-09-14Omit empty sections in GF shell reference manualhallgren
2011-09-14Omit empty sections in gf help outputhallgren
2011-09-14Use 'help -full -t2t' to generate the GF Shell reference manualhallgren
2011-09-14GF shell command 'help -t2t' outputs help in txt2tags formathallgren
2011-09-14Adding a link to the GF shell reference manual on the GF home pagehallgren
2011-09-14Donkey: Det and Conj added, as well as negative sentencesaarne
2011-09-14Adding a GF shell command referencehallgren
First, plain text version generated with 'help -full' in the shell. Introduction taken from the GF book.
2011-09-13gfse: added grammar cloninghallgren
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-09-14Donkey: added AP, reported problem with ModCN and polymorphic AP'saarne
2011-09-13rewrote DonkeyEng with RGL and introduced VP categoryaarne
2011-09-13examples on using type theoryaarne
2011-09-13added examples/typetheoryaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-05 08:50:30 +0000