summaryrefslogtreecommitdiff
path: root/src/PGF
AgeCommit message (Collapse)Author
2009-04-30upgrade to GHC 6.10.2krasimir
2009-04-15proper pretty printing of tokens in PGF.PMCFGkrasimir
2009-04-02raise better error message when decode PGF filekrasimir
2009-03-09special cases for printing the build-in PMCFG categorieskrasimir
2009-02-08fixes in the pretty printer for PMCFGkrasimir
2009-02-07PMCFG pretty printerkrasimir
2009-02-02tabularLinearize should always generate label nameskrasimir
2009-01-30metavariables made unique in type checkingaarne
2008-12-16fixed discontinuous constituents in word alignmentaarne
2008-12-16datatype for bracketed texts, and improved word alignmentaarne
2008-12-16position of arrows in alignmentaarne
2008-12-15better treatment of syncategorematic words in alignmentaarne
2008-12-15visualization of word alignment based on bracketing (command aw); does not ↵aarne
work for syncategorematic words yet
2008-12-13bracketing with tree node reference: l -bracketaarne
2008-12-10added and editor function allMetas showing all meta positions and their typesaarne
2008-12-10documentation in the Editor filesaarne
2008-12-10fix in Editoraarne
2008-12-09parsing in the toy editoraarne
2008-12-09Editor with some commands, using PGF API, with demo shell in ↵aarne
exper/EditShell; still buggy
2008-12-08started PGF editoraarne
2008-10-28even more compact binary representation. saldo < 19MBkrasimir
2008-10-28remove some traces that I left by incidentkrasimir
2008-10-28remove some redundant imports of GF.Text.UTF8krasimir
2008-10-28forgot to add PGF.Binarykrasimir
2008-10-28binary serialization for PGFkrasimir
2008-10-28define Read and Show instances for Expr and Treekrasimir
2008-10-21efficient and nicer implementation for literal categorieskrasimir
2008-10-20the literal categories were slowing down the parser 3 times. this is quick ↵krasimir
and dirty workaround until I find something cleverer.
2008-10-20Added PGF.Macros.mapConcretesbjorn
2008-10-20Added Read and Show instances for CId. Also added readCId :: String -> Maybe ↵bjorn
CId, and use that for readLanguage.
2008-10-20Added Read and Show instances for Type. This required moving some code around.bjorn
2008-10-20Replace Category with Type in the PGF API. Added readLanguage and showLanguage.bjorn
2008-10-20preparation for dep. types. The -cat option can take any type instead of ↵krasimir
just a category. The PGF API is generalized as well.
2008-10-20add parser and pretty printer for typeskrasimir
2008-10-19move the literal category names to PGF.Macroskrasimir
2008-10-19move PGF.Quiz to GF.Quiz. It is not part of the PGF APIkrasimir
2008-10-16Moved parser building in the PGF interpreter to PGF.hs from ↵bjorn
PGF/Raw/Convert.hs, in preparation for doing something more clever about it (e.g. looking at the parser flag).
2008-10-16code tweak: use Map.findWithDefault in PGF.Macros.lookMapbjorn
2008-10-15restored the possibility to compile .cf files to gfaarne
2008-10-15high-order syntax in PMCFGkrasimir
2008-10-15threat category _Var as a literal categorykrasimir
2008-10-15generate metavariables in the tree extraction for PMCFGkrasimir
2008-10-15store the total number of PMCFG categories in the PGF filekrasimir
2008-10-14literal categories in the incremental parserkrasimir
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
2008-10-14pass the full Tokn type to the add function not just the KS stringkrasimir
2008-10-14paraphrase works a little better now ; added examples/paraphrase for testingaarne
2008-10-14the new optimized incremental parser and the common subexpression ↵krasimir
elimination optimization in PMCFG
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, ↵aarne
and step by step; doesn't work properly yet
2008-10-10added a note on refreshing variables in AbsComputeaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 14:35:02 +0000