This website requires JavaScript.
Explore
Help
Sign In
patrick
/
anthem-rs
Watch
1
Star
0
Fork
0
You've already forked anthem-rs
Code
Issues
Pull Requests
Releases
Wiki
Activity
99
Commits
1
Branch
3
Tags
380
KiB
b308847ebd
Commit Graph
5 Commits
Author
SHA1
Message
Date
Patrick Lühne
b308847ebd
Add to-do note
2020-05-13 03:17:37 +02:00
Patrick Lühne
d35d0d1d98
Use statement kind over section kind
2020-05-13 03:17:33 +02:00
Patrick Lühne
2de8a59b63
New output format
2020-05-11 05:03:59 +02:00
Patrick Lühne
0d51053b88
Move ProofDirection type to separate module
2020-05-11 03:46:11 +02:00
Patrick Lühne
17d2373e0d
Refactor proof output
2020-05-11 03:11:10 +02:00