summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
2011-09-12Added news item about the GF 3.2.9 snapshot on the home pagehallgren
2011-09-12Mention the 3.2.9 snapshot release on the download pagehallgren
2011-09-12Record old changes in gf-reference.htmlhallgren
even though this file is automatically generated from gf-reference.t2t.
2011-09-12Record the added link to the JPGF Android Tutorial on home pagehallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-04 17:27:17 +0000