latex/latex-packages-build
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4 Commits 28 Branches 0 Tags 636 KiB

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
 ZIP  TAR.GZ
bachelor-thesis-build

2df496465e · make todo commands accept optional arguments · Updated 2022-06-27 17:33:06 +02:00
4
6
 ZIP  TAR.GZ
topology-1-build

dcfb0eb63a · manual rebuild · Updated 2022-03-13 13:30:56 +01:00
4
20
 ZIP  TAR.GZ
v2.9-build

065230f2d1 · remove default benchmarking in groupthm · Updated 2022-02-03 15:49:27 +01:00
4
1
 ZIP  TAR.GZ
same-aux-files-build

58750758fd · update test2 to match test2 · Updated 2022-02-03 15:17:30 +01:00
4
1
 ZIP  TAR.GZ
v2.8.2-build

afc06fc588 · add makefile in cache tests · Updated 2022-02-03 15:14:57 +01:00
4
1
 ZIP  TAR.GZ
fast-groupthm-build

286377b621 · add makefile in cache tests · Updated 2022-02-03 15:08:59 +01:00
4
2
 ZIP  TAR.GZ
cache-build

0e75b35a8c · move test file into cache directory · Updated 2022-02-02 18:11:33 +01:00
4
2
 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
 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
 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
 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
 ZIP  TAR.GZ
v2.8-build

0a6ae424a0 · remove old fancythm version · Updated 2022-01-24 01:28:29 +01:00
4
1
 ZIP  TAR.GZ
v2.7-build

5f5ae81451 · update gitignore · Updated 2022-01-24 01:25:17 +01:00
4
1
 ZIP  TAR.GZ
v2.6-build

a15e144f39 · dual license vial lppl and gplv3 · Updated 2022-01-15 15:56:24 +01:00
4
1
 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
 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
 ZIP  TAR.GZ
v2.5.0-build

a12b342fa0 · add mathsymbindex package · Updated 2022-01-11 20:16:17 +01:00
4
1
 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
 ZIP  TAR.GZ
v2.4.4-build

ae7a82c2f3 · add explicit subproof environment · Updated 2022-01-09 15:45:23 +01:00
4
1
 ZIP  TAR.GZ