Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
About branch trunk
This branch contains the most recent "release-ready" versions of all Anselm sub-projects.
12 check-ins related to "trunk"
|
2021-02-11
| ||
| 09:53 | created new branch for anselmpro Leaf check-in: bafa31e486 user: kbg tags: anselmpro-trunk | |
|
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:08 | added config files to trunk check-in: 048ee2582b user: kbg tags: trunk | |
| 17:07 | added config files Leaf check-in: acdfa4bc62 user: kbg tags: gaunilo-trunk | |
| 17:06 | added in config files check-in: 44436e4adb user: kbg tags: site-trunk | |
| 17:05 | created new branch for configuration settings Leaf check-in: 7f78cd7e4b user: kbg tags: config-trunk | |
|
2021-01-27
| ||
| 08:51 | Added new branch for Anselm specification Leaf check-in: ff5a39bb74 user: kbg tags: spec-trunk | |
|
2021-01-26
| ||
| 04:37 | added branch for gaunilo development check-in: 6db864f704 user: kbg tags: gaunilo-trunk | |
| 04:31 | added branch for site development check-in: 1421c0cb5a user: kbg tags: site-trunk | |
| 04:28 | initial commit check-in: df2b019c62 user: kbg tags: trunk, initial_commit | |
|
2021-01-25
| ||
| 16:14 | initial empty check-in check-in: 168a5a3a04 user: anselm_admin tags: trunk | |