Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Changes In Branch trunk Excluding Merge-Ins
This is equivalent to a diff from a0652b5805 to a0652b5805
|
2021-02-08
| ||
| 16:14 | First development release of Gaunilo. Working simply-typed intepreter. Leaf check-in: a0652b5805 user: kbg tags: trunk, gaunilo-0.0.0 | |
|
2021-02-03
| ||
| 17:09 | anselm.dev skin, v1 check-in: fe7c6893b9 user: kbg tags: trunk | |
| 17:07 | added config files Leaf check-in: acdfa4bc62 user: kbg tags: gaunilo-trunk | |