| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-03-24 | now for every category we store, in PGF, the list of functions for it in ↵ | krasimir | |
| source-code order. The order matters for the termination of the exhaustive generation with dependent types. | |||
| 2010-03-18 | syntax for inaccessible patterns in GF | krasimir | |
| 2010-02-17 | -output-format=pgf_pretty now prints the flags as well | krasimir | |
| 2010-02-16 | fix the PGF printer for abstract | 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 ↵ | krasimir | |
| to match the preliminary specification | |||
| 2010-01-17 | PGF is now real synchronous PMCFG | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |