jlengrand/atrium
1
0
Fork 0
mirror of https://github.com/jlengrand/atrium.git synced 2026-03-10 08:01:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
atrium/misc/verbs
History
Robert Stoll f67cd01e38 rename appendAssertion/CreatedBy to append and appendAsGroup 
This way we can use it also on ProofContainer and users won't notice
anything as long as they recompile
2021-05-29 21:22:55 +02:00
..
atrium-verbs-common
rename appendAssertion/CreatedBy to append and appendAsGroup
2021-05-29 21:22:55 +02:00
atrium-verbs-js
rename core-api to core
2021-04-06 21:06:11 +02:00
atrium-verbs-jvm
rename core-api to core
2021-04-06 21:06:11 +02:00