Default branch

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

ZIP  TAR.GZ

Branches

master-build 37c3fa08ec · run jobs sequentially · Updated 2023-10-19 13:14:52 +02:00	4 81	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
topology-1-build dcfb0eb63a · manual rebuild · Updated 2022-03-13 13:30:56 +01:00	4 20	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
same-aux-files-build 58750758fd · update test2 to match test2 · Updated 2022-02-03 15:17:30 +01:00	4 1	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
fast-groupthm-build 286377b621 · add makefile in cache tests · Updated 2022-02-03 15:08:59 +01:00	4 2	Compare	ZIP  TAR.GZ
cache-build 0e75b35a8c · move test file into cache directory · Updated 2022-02-02 18:11:33 +01:00	4 2	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
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.4.6-build 36b0972be6 · fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs · Updated 2022-01-30 22:02:56 +01: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.8-build 0a6ae424a0 · remove old fancythm version · Updated 2022-01-24 01:28:29 +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
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
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.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
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.4-build ae7a82c2f3 · add explicit subproof environment · Updated 2022-01-09 15:45:23 +01:00	4 1	Compare	ZIP  TAR.GZ