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
f67cd01e3899a87d656cf58f31ab0bcbded05bdb
atrium/apis
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
..
fluent-en_GB
rename appendAssertion/CreatedBy to append and appendAsGroup
2021-05-29 21:22:55 +02:00
infix-en_GB
rename appendAssertion/CreatedBy to append and appendAsGroup
2021-05-29 21:22:55 +02:00
differences.md
deprecate old anyAssertions and use new anyExpectations in api-infix
2021-04-12 22:41:33 +02:00