summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2011-10-21Work on example-based grammar writinghallgren
2011-10-20Introduce an explicit error value in the Term typehallgren
2011-10-20Some experiments with PSeq (left commented out)hallgren
2011-10-20Compute/ConcreteLazy.hs: no need to reverse when looking up labels in recordshallgren
2011-10-20AppPredefined.hs: more readable notation for the types of primitiveshallgren
2011-10-20PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happyhallgren
2011-10-18pgf-http setup: update path to minibarhallgren
2011-10-18minibar: adding a start category menuhallgren
2011-10-18minibar: add a button to show some grammar infohallgren
2011-10-18pgf service: include the start category in grammar infohallgren
2011-10-17example-based: use random generation for the exampleshallgren
2011-10-12Show version & configuration info when gf -server startshallgren
2011-10-12Bug fixes for gf -server mode and setuphallgren
2011-10-12Improvements of "gf -server" mode and related setuphallgren
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
2011-10-07gfse: documentation tweakshallgren
2011-10-04example-based grammar writing: avoid a problem by returning Nothing instead o...hallgren
2011-10-03gfse: browser compatibility fixeshallgren
2011-10-03gfse: references to the GF book in keyword tool tips and style tweaks for exa...hallgren
2011-09-29Example-based grammar writing: fix problems caused by the use of exprToAPIhallgren
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-26don't count app nodes in term sizeaarne
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-21statistics on grammar size in terms of constructorsaarne
2011-09-21fix in the proof search. when we start the generation from a template, we mus...kr.angelov
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-20Created a new page documenting available editor modes for GFhallgren
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 wr...ra.monique
2011-09-15Add a command name header to the 'help -t2t' outputhallgren
2011-09-15made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ch...aarne
2011-09-14Omit empty sections in gf help outputhallgren
2011-09-14GF shell command 'help -t2t' outputs help in txt2tags formathallgren
2011-09-13gfse: added grammar cloninghallgren
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:29:08 +0000