summaryrefslogtreecommitdiff
path: root/src/PGF/Macros.hs
AgeCommit message (Expand)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
2009-12-13rename #Var to __gfVar because it breaks the JavaScript editorkrasimir
2009-12-11judgements lindef are now respected by both the parser and the linearizerkrasimir
2009-09-20change the data types and the syntax in PGF to match the new syntax for impli...krasimir
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type syno...krasimir
2009-09-08now the datatype Tree is only internal. All API functions are working with Ex...krasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ...krasimir
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2008-10-20Added PGF.Macros.mapConcretesbjorn
2008-10-20Replace Category with Type in the PGF API. Added readLanguage and showLanguage.bjorn
2008-10-19move the literal category names to PGF.Macroskrasimir
2008-10-16code tweak: use Map.findWithDefault in PGF.Macros.lookMapbjorn
2008-10-14the new optimized incremental parser and the common subexpression elimination...krasimir
2008-10-10a first version of PGF.AbsComputeaarne
2008-10-06simplified 1.5 by removing mathematical/aarne
2008-09-26Added isLiteralCat function to PGF.Macros.bjorn
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-04 05:51:56 +0000