| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter ↵ | krasimir | |
| from deprecated | |||
| 2009-05-23 | now in the command shell the primary type in the pipe is Expr not Tree. This ↵ | krasimir | |
| makes the pt -compute and pt -typecheck more interesting | |||
| 2009-03-18 | flag -env=quotes (and possible other flags) to restrict ps | aarne | |
| 2008-10-20 | preparation for dep. types. The -cat option can take any type instead of ↵ | krasimir | |
| just a category. The PGF API is generalized as well. | |||
| 2008-06-27 | version-related changes in Makefile and help | aarne | |
| 2008-06-25 | changed names of resource-1.3; added a note on homepage on release | aarne | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |