| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-05-01 | fixes in unStr,unInt,unDouble,isMeta | krasimir |
| 2010-03-18 | pattern @ should be propagated to PGF | krasimir |
| 2010-03-18 | syntax for inaccessible patterns in GF | krasimir |
| 2010-02-22 | refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t... | krasimir |
| 2010-01-31 | add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation a... | krasimir |
| 2010-01-29 | bugfix in the PGF typechecker and more test cases | krasimir |
| 2010-01-27 | cleanup the code of the PGF interpreter and polish the binary serialization t... | krasimir |
| 2010-01-15 | allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax pars... | krasimir |
| 2010-01-15 | now the abstract syntax in PGF allows the same syntax for integers, floats an... | krasimir |
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter f... | krasimir |
