summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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
2011-08-21minibar: documentation fixeshallgren
2011-08-19minibar: bug fix for "Try Google Translate" buttonhallgren
2011-08-17gfse: fix an issue with Webkit browershallgren
2011-08-16minibar: adding pgf_offline.jshallgren
2011-08-11minibar: documentation and API workhallgren
2011-08-11minibar: some functions were in the wrong filehallgren
2011-08-09minibar: more documentation (in minibar-api.html)hallgren
2011-08-08minibar: refactoring for improved modularityhallgren
2011-08-08minibar: resolve conflicthallgren
2011-08-03minibar: improve pgf_online.jshallgren
2011-08-03minibar: small code and documentation tweakshallgren
2011-08-08minibar: recording old configuration changeshallgren
2011-08-01gfse: added links to download PGF files for user's grammarshallgren
2011-08-01gfse: add missing file share.html to darcshallgren
2011-07-29gfse: some correctness checks for concrete syntaxhallgren
2011-07-29gfse: refactoringhallgren
2011-07-26gfse: about: added a note that each grammar has a unique identity independent...hallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 06:59:05 +0000