Default Branch

master 983a40d500 · Update README.md · Updated 2023-10-19 13:24:36 +02:00

ZIP  TAR.GZ

Branches

v2.4.7-build 44bb750ed5 · provide proper proofdepth macro. fix subproof · Updated 2022-01-30 22:03:33 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.5.2-build 28d5d8234e · rename new version of refproof into old name · Updated 2022-01-15 15:03:42 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.4.1-build cf7aaf6002 · add cell operator · Updated 2022-01-09 14:36:21 +01:00	4 1	Compare	ZIP  TAR.GZ
wuerzburg21-build 64d04428d0 · remove travis stuff · Updated 2021-10-24 10:55:50 +02:00	4 1	Compare	ZIP  TAR.GZ
v2.9-build 065230f2d1 · remove default benchmarking in groupthm · Updated 2022-02-03 15:49:27 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.8.1-build 9c5bd0feab · update ci build script to have built packages available when generating documentation · Updated 2022-01-30 22:07:44 +01:00	4 1	Compare	ZIP  TAR.GZ
algebraic-geometry-build 817d516c9c · add todo package for quick aliases of some todonotes · Updated 2022-01-10 12:49:17 +01:00	4 15	Compare	ZIP  TAR.GZ
v2.4.2-build 97408561bf · make git an X option in script class · Updated 2022-01-09 14:36:52 +01:00	4 1	Compare	ZIP  TAR.GZ
geometrie-und-topologie-build 18d05ca0f2 · remove travis stuff · Updated 2021-10-24 10:57:26 +02:00	4 1	Compare	ZIP  TAR.GZ
v2.4.5-build e238dc1189 · fix infinite recursion bug in claim counter. fix some spacing · Updated 2022-01-30 22:02:27 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.7-build 5f5ae81451 · update gitignore · Updated 2022-01-24 01:25:17 +01:00	4 1	Compare	ZIP  TAR.GZ
master-build 37c3fa08ec · run jobs sequentially · Updated 2023-10-19 13:14:52 +02:00	4 81	Compare	ZIP  TAR.GZ
v2.4.0-beta-build b3aac88f54 · conform to uniform macro usage · Updated 2021-10-29 09:36:26 +02:00	4 1	Compare	ZIP  TAR.GZ
v2.5.1-build c7be525ebb · remove category specific stuff from mathop package, integrate categories package into math package · Updated 2022-01-11 21:39:11 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.5.0-build a12b342fa0 · add mathsymbindex package · Updated 2022-01-11 20:16:17 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.4.3-build b6589677e9 · rename proof package to refproof · Updated 2022-01-09 14:37:26 +01:00	4 1	Compare	ZIP  TAR.GZ
bachelor-thesis-build 2df496465e · make todo commands accept optional arguments · Updated 2022-06-27 17:33:06 +02:00	4 6	Compare	ZIP  TAR.GZ
v2.8.2-build afc06fc588 · add makefile in cache tests · Updated 2022-02-03 15:14:57 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.8-build 0a6ae424a0 · remove old fancythm version · Updated 2022-01-24 01:28:29 +01:00	4 1	Compare	ZIP  TAR.GZ
v2.6-build a15e144f39 · dual license vial lppl and gplv3 · Updated 2022-01-15 15:56:24 +01:00	4 1	Compare	ZIP  TAR.GZ