Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Changes In Branch gaunilo-trunk Excluding Merge-Ins
This is equivalent to a diff from df2b019c62 to acdfa4bc62
|
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-05
| ||
| 19:50 | merged in config files from trunk check-in: ec18ae98bb user: kbg tags: gaunilo-dev-kbg | |
|
2021-02-03
| ||
| 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:05 | created new branch for configuration settings Leaf check-in: 7f78cd7e4b user: kbg tags: config-trunk | |
|
2021-01-28
| ||
| 21:33 | working interpreter for simply-typed CBPV core calculus check-in: abd171e106 user: kbg tags: gaunilo-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 | |
Added .fossil-settings/clean-glob.
Added .fossil-settings/ignore-glob.
Added gaunilo/readme.md.
Added gaunilo/src/eval.pro.
Added gaunilo/src/gaunilo.pro.
Added gaunilo/src/lexer.pro.
Added gaunilo/src/parser.pro.
Added gaunilo/src/type.pro.