| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-06-04 | the morpho server is now updated and works with the current GF. the sources ↵ | krasimir | |
| are moved in directory server | |||
| 2009-01-25 | the grammars are now recognized by extension i.e. .pgf is grammar just like ↵ | krasimir | |
| .php is a PHP script | |||
| 2009-01-25 | hack for pgf-server for Windows | krasimir | |
| 2008-12-05 | Rename PGF Server cabal packages to pgf-server (was gf-server). | bjorn | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |