summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-10-12Bug fixes for gf -server mode and setuphallgren
2011-10-12Improvements of "gf -server" mode and related setuphallgren
"gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete.
2011-10-11More work on support for gfse in "gf -server" modehallgren
2011-10-10gfse: make it workw ith "gf -server" cloud serviceshallgren
2011-10-10Add cloud services needed by gfse to "gf -server" modehallgren
2011-10-10minibar/support.js: added function encodeArgs.hallgren
2011-10-10More functionality in "gf -server" modehallgren
"gf -server" mode now includes PGF service and the services to support example-based grammar writing. (But gf -server is not quite ready to replace pgf-http yet...) Also bumped GF version number to 3.2.10-darcs
2011-10-07gfse: documentation tweakshallgren
2011-10-04example-based grammar writing: avoid a problem by returning Nothing instead ↵hallgren
of calling error
2011-10-03gf-bibliography.html with Thomas' corrected linksaarne
2011-10-03updated gf-biblio with cse instead of csaarne
2011-10-03corrected links in gf-bibliohallgren
2011-10-03new items in gf-bibliography.t2taarne
2011-10-03gfse: browser compatibility fixeshallgren
2011-10-03gfse: references to the GF book in keyword tool tips and style tweaks for ↵hallgren
example-based grammar editing
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-29 20:04:53 +0000