summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2011-09-09Don't make noexpand the default with -fcclazyhallgren
2011-09-09Make noexpand the default optimization package when configuring with -fcclazyhallgren
2011-09-09Remove unused function computeConcreteRec.hallgren
2011-09-07GF.Grammar.Macros: simplify composOp and composSafeOphallgren
2011-09-05Make the -fcclazy configuration option visible in the build info in the GF Sh...hallgren
2011-09-01Add lazy version of GF.Compile.Compute.Concretehallgren
2011-09-01GF.Grammar.*: generalized the type of some functions that can not fail from t...hallgren
2011-08-31GF.Compile.Coding: cleaner code hallgren
2011-08-31GF.Infra.Modules: minor tweakshallgren
2011-08-30GF.Infra.Modules: restore module dependency order invarianthallgren
2011-08-30GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ...hallgren
2011-08-30GF.Grammar.Lookup: added function lookupQIdentInfohallgren
2011-08-30PatternMatch.hs: commented out suspicious unused function varsOfPatthallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:16:42 +0000