summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)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-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
2011-08-30GrammarToPGF.hs: comment out unused importshallgren
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2011-08-30bugfix: allow higher-order variables in the linearizationkr.angelov
2011-08-29skip spaces before closing parenthesis in PGF.Expr.pFactoraarne
2011-08-28import command now gives priority to new abstract syntax, and discards the ol...aarne
2011-08-25pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service reque...hallgren
2011-08-25reload command in shellaarne
2011-08-24pgf-service: apply the OpenMath LaTeX function only when linearizing to ahallgren
2011-08-23pgf-service: add Jordis transfer function for OpenMath LaTeX outputhallgren
2011-08-22minibar: documentation updatehallgren
2011-08-22minibar: quick fix to allow literals to be entered.hallgren
2011-08-22commented Compute/Concrete with explanationsaarne
2011-08-22pgf service: external service hook: always format the output as a JSON stringhallgren
2011-08-22pgf service: added a hook for external serviceshallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:53:56 +0000