Commit graph

2 commits

Author SHA1 Message Date
c2122d9568 resurrect 2024-10-29 09:11:05 +01:00
Francesco Mecca
6b528d921e more latex for inf rules 2020-04-05 20:33:38 +02:00