summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2011-09-14Donkey: Det and Conj added, as well as negative sentencesaarne
2011-09-14Adding a GF shell command referencehallgren
2011-09-13gfse: added grammar cloninghallgren
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-09-14Donkey: added AP, reported problem with ModCN and polymorphic AP'saarne
2011-09-13rewrote DonkeyEng with RGL and introduced VP categoryaarne
2011-09-13examples on using type theoryaarne
2011-09-13added examples/typetheoryaarne
2011-09-12Added news item about the GF 3.2.9 snapshot on the home pagehallgren
2011-09-12Mention the 3.2.9 snapshot release on the download pagehallgren
2011-09-12Record old changes in gf-reference.htmlhallgren
2011-09-12Record the added link to the JPGF Android Tutorial on home pagehallgren
2011-09-12Take snapshot, version 3.2.9hallgren
2011-09-12gf.cabal: add Tested-With fieldhallgren
2011-09-09Don't make noexpand the default with -fcclazyhallgren
2011-09-09utf8 in gf-book indexaarne
2011-09-09slides and UK order of gf-bookaarne
2011-09-09Make -fcclazy (the new faster lazy compute_concrete) the default. Bump versio...hallgren
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-30few more fixes in the NLG grammarkr.angelov
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-30added quantifier ambiguity in the NLG examplekr.angelov
2011-08-30added example for NLG from logical formula. See examples/nlgkr.angelov
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-23fix SUMO after the update in DictEngkr.angelov
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-22Someone added a link to the Android pagehallgren
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-22some adjective fixes in FoodsGleaarne