| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-10-18 | pgf-http setup: update path to minibar | hallgren | |
| 2011-10-18 | minibar: adding a start category menu | hallgren | |
| + The start category menu can be turned off by passing the option {startcat_menu:false} when starting the minibar. + Documentation updates. | |||
| 2011-10-18 | minibar: add a button to show some grammar info | hallgren | |
| 2011-10-18 | pgf service: include the start category in grammar info | hallgren | |
| 2011-10-17 | Added Eclipse contents | john.j.camilleri | |
| 2011-10-17 | Added link for GFEP | john.j.camilleri | |
| 2011-10-17 | example-based: use random generation for the examples | hallgren | |
| 2011-10-14 | Bug fix in setup for gf -server mode | hallgren | |
| Use the command "dist/build/gf/gf" instead of "gf" to compile the sample grammars for the minibar, to avoid failing if gf is installed in a directory which is not in the $PATH. | |||
| 2011-10-12 | Show version & configuration info when gf -server starts | hallgren | |
| 2011-10-12 | Bug fixes for gf -server mode and setup | hallgren | |
| 2011-10-12 | Improvements of "gf -server" mode and related setup | hallgren | |
| "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-11 | More work on support for gfse in "gf -server" mode | hallgren | |
| 2011-10-10 | gfse: make it workw ith "gf -server" cloud services | hallgren | |
| 2011-10-10 | Add cloud services needed by gfse to "gf -server" mode | hallgren | |
| 2011-10-10 | minibar/support.js: added function encodeArgs. | hallgren | |
| 2011-10-10 | More functionality in "gf -server" mode | hallgren | |
| "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-07 | gfse: documentation tweaks | hallgren | |
| 2011-10-04 | example-based grammar writing: avoid a problem by returning Nothing instead ↵ | hallgren | |
| of calling error | |||
| 2011-10-03 | gf-bibliography.html with Thomas' corrected links | aarne | |
| 2011-10-03 | updated gf-biblio with cse instead of cs | aarne | |
| 2011-10-03 | corrected links in gf-biblio | hallgren | |
| 2011-10-03 | new items in gf-bibliography.t2t | aarne | |
| 2011-10-03 | gfse: browser compatibility fixes | hallgren | |
| 2011-10-03 | gfse: references to the GF book in keyword tool tips and style tweaks for ↵ | hallgren | |
| example-based grammar editing | |||
| 2011-09-29 | Example-based grammar writing: fix problems caused by the use of exprToAPI | hallgren | |
| 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-28 | gfse: about.html updates | hallgren | |
| 2011-09-27 | gfse: mention example-based grammar writing in about.html | hallgren | |
| 2011-09-27 | exb: call exprToAPI to create nicer linearization functions | hallgren | |
| 2011-09-27 | Server-side support for example-based grammar writing | hallgren | |
| 2011-09-27 | gfse: work in progress on support for example-based grammar writing | hallgren | |
| 2011-09-27 | Update the shell reference manual | hallgren | |
| 2011-09-26 | don't count app nodes in term size | aarne | |
| 2011-09-26 | Query/small packaged | aarne | |
| 2011-09-25 | generalized show_dependencies to take a list of constants as its argument | aarne | |
| 2011-09-25 | structured examples in help into pairs (command,explanation) | aarne | |
| 2011-09-24 | bug fixes in code size analysis | aarne | |
| 2011-09-22 | change the precedence for the left argument of -> | kr.angelov | |
| 2011-09-22 | the sd -size command now shows the size of all code needed for defining an oper | aarne | |
| 2011-09-22 | documented the ss command | aarne | |
| 2011-09-21 | Update 19 broken links in the GF bibliography | hallgren | |
| 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-21 | statistics on grammar size in terms of constructors | aarne | |
| 2011-09-21 | fix 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-21 | commands ss to show source, and sd to show the dependencies of a constant | aarne | |
| 2011-09-20 | module for analysing source grammars | aarne | |
| 2011-09-20 | command ss to show source (including gfo) in text; to be extended | aarne | |
| 2011-09-20 | Home page news item about editor modes for GF | hallgren | |
| 2011-09-20 | Created a new page documenting available editor modes for GF | hallgren | |
| Also adding editing modes for Gedit and Geany contributed by John J. Camilleri. | |||
| 2011-09-20 | QueryGer added; some bugs to fix | aarne | |
| 2011-09-20 | QueryIta added | aarne | |
| 2011-09-20 | QueryFre added; a utf8 typo in StructuralFre corrected | aarne | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |