Commit graph

Select branches

Hide pull requests

algebraic-geometry-build

algorithmische-mathematik-2-build

bachelor-thesis-build

cache-build

fast-groupthm-build

geometrie-und-topologie-build

master

master-build

same-aux-files-build

topology-1-build

v2.4.0-beta-build

v2.4.1-build

v2.4.2-build

v2.4.3-build

v2.4.4-build

v2.4.5-build

v2.4.6-build

v2.4.7-build

v2.5.0-build

v2.5.1-build

v2.5.2-build

v2.6-build

v2.7-build

v2.8-build

v2.8.1-build

v2.8.2-build

v2.9-build

wuerzburg21-build

Mono Color

• 983a40d500 Update README.md master Maximilian Keßler 2023-10-19 13:24:36 +0200
• 7081d653d1 Update README.md Maximilian Keßler 2023-10-19 13:24:19 +0200
• 37c3fa08ec run jobs sequentially master-build Maximilian Keßler (via gitlab runner) 2023-10-19 11:14:52 +0000
• 6c65b53c0b ci-test Maximilian Keßler (via gitlab runner) 2023-10-19 11:11:06 +0000
• d23c4a8bb0 use caches to speed up compilation Maximilian Keßler (via gitlab runner) 2023-10-19 11:01:07 +0000
• 9008450358 fix TEXINPUTS Maximilian Keßler (via gitlab runner) 2023-10-19 08:43:29 +0000
• b95036d968 further try Maximilian Keßler (via gitlab runner) 2023-10-19 08:27:22 +0000
• e2e9bb61dc next try Maximilian Keßler (via gitlab runner) 2023-10-19 08:09:49 +0000
• d908a25eb5 further attempt to compile correctly Maximilian Keßler (via gitlab runner) 2023-10-19 07:56:48 +0000
• 845d240720 fix ci file Maximilian Keßler (via gitlab runner) 2023-10-19 00:57:57 +0000
• aca4aebf60 correctly compile in pipeline Maximilian Keßler (via gitlab runner) 2023-10-19 00:52:14 +0000
• 9c25e1e36b set -e for compilation script Maximilian Keßler (via gitlab runner) 2023-10-19 00:50:54 +0000
• 1d9540a63c change job name Maximilian Keßler (via gitlab runner) 2023-10-19 00:49:14 +0000
• c2374f15c1 generate documentation on master Maximilian Keßler (via gitlab runner) 2023-10-19 00:25:08 +0000
• 915af86a10 fix path Maximilian Keßler (via gitlab runner) 2023-10-19 00:23:23 +0000
• 1060733e20 use single job Maximilian Keßler (via gitlab runner) 2023-10-18 16:47:56 +0000
• 8626e9e728 update readme Maximilian Keßler (via gitlab runner) 2023-10-18 14:32:28 +0000
• 5ad61f229d adapt commit message in build repo Maximilian Keßler (via gitlab runner) 2023-10-18 14:27:37 +0000
• 99f347de32 fix origin url Maximilian Keßler (via gitlab runner) 2023-10-18 14:22:59 +0000
• 400daf229c add category of presheaves Maximilian Keßler (via gitlab runner) 2022-10-17 16:35:39 +0000
• dfbfbb9ea8 fix whitespace around \vocab Maximilian Keßler (via gitlab runner) 2022-08-18 14:09:50 +0000
• 0baddf33ea add green background style Maximilian Keßler (via gitlab runner) 2022-08-18 09:34:05 +0000
• 043fb16fc3 make todo commands accept optional arguments Maximilian Keßler (via gitlab runner) 2022-06-27 15:48:35 +0000
• 2df496465e make todo commands accept optional arguments bachelor-thesis-build Maximilian Keßler (via gitlab runner) 2022-06-27 15:33:06 +0000
• b9aed4ddd7 load missing decorations library for tikz-cd Maximilian Keßler (via gitlab runner) 2022-06-27 15:10:18 +0000
• 2a2b37e49c fix error in category declaration Maximilian Keßler (via gitlab runner) 2022-06-27 14:46:26 +0000
• c3acab51d2 fix error in csv: use quotechar | correctly Maximilian Keßler (via gitlab runner) 2022-06-27 14:32:26 +0000
• 340d7093f5 refproof: fix optional argument of oldproof environment Maximilian Keßler (via gitlab runner) 2022-06-27 14:15:45 +0000
• 1d299b232b add fix for equal arrows in tikz-cd Maximilian Keßler (via gitlab runner) 2022-06-27 14:01:58 +0000
• 5d5c6e83f6 fix @counteralias usage of thmtools Maximilian Keßler (via gitlab runner) 2022-06-27 13:33:47 +0000
• 21c61fde70 fix bug Maximilian Keßler (via gitlab runner) 2022-06-12 15:43:26 +0000
• 1f09904ed7 add nobraces option to fancythm Maximilian Keßler (via gitlab runner) 2022-06-12 15:22:29 +0000
• 9698c31808 make categories always upright, also in italic text Maximilian Keßler (via gitlab runner) 2022-06-07 19:16:33 +0000
• 75bf09228d add set Maximilian Keßler (via gitlab runner) 2022-04-24 19:20:42 +0000
• dcfb0eb63a manual rebuild topology-1-build Maximilian Keßler 2022-03-13 13:30:56 +0100
• a4f9afcdde clean for fresh rebuild Maximilian Keßler 2022-03-13 13:21:15 +0100
• a6203cb3ca add quiver.sty package Maximilian Keßler (via gitlab runner) 2022-02-28 15:03:42 +0000
• 020e409173 add \ord operator for group orders Maximilian Keßler (via gitlab runner) 2022-02-16 16:27:42 +0000
• 489a60aa12 fix more if bugs Maximilian Keßler (via gitlab runner) 2022-02-16 01:05:27 +0000
• b7b926865c fix if bug Maximilian Keßler (via gitlab runner) 2022-02-16 00:53:08 +0000
• dc4913081e fix thmstyle spacing with parskip Maximilian Keßler (via gitlab runner) 2022-02-13 23:40:45 +0000
• 881a2e5f98 add test Maximilian Keßler (via gitlab runner) 2022-02-10 00:29:47 +0000
• fc8b8daa50 improve code package: deactivate | symbol in tables. make | and code usable inside other macros by rescanning the token list Maximilian Keßler (via gitlab runner) 2022-02-10 00:27:09 +0000
• a0064f3b16 add code macro usable inside other environments Maximilian Keßler (via gitlab runner) 2022-02-10 00:14:06 +0000
• 89e7d8c669 make pip an option Maximilian Keßler (via gitlab runner) 2022-02-09 23:40:44 +0000
• b95bb33ade quick fix for tables Maximilian Keßler (via gitlab runner) 2022-02-09 23:27:32 +0000
• db67a001f5 add (really bad) code package Maximilian Keßler (via gitlab runner) 2022-02-09 23:08:59 +0000
• dc50c1f3f9 remove default benchmarking in groupthm Maximilian Keßler (via gitlab runner) 2022-02-03 14:51:36 +0000
• 065230f2d1 remove default benchmarking in groupthm v2.9-build Maximilian Keßler (via gitlab runner) 2022-02-03 14:49:27 +0000
• 5a75ce39a9 update fanycthm caching test Maximilian Keßler (via gitlab runner) 2022-02-03 14:45:59 +0000
• 58750758fd update test2 to match test2 same-aux-files-build Maximilian Keßler (via gitlab runner) 2022-02-03 14:17:30 +0000
• afc06fc588 add makefile in cache tests v2.8.2-build Maximilian Keßler (via gitlab runner) 2022-02-03 14:14:57 +0000
• 5ca7c2e3f8 add makefile in cache tests Maximilian Keßler (via gitlab runner) 2022-02-03 14:11:55 +0000
• 286377b621 add makefile in cache tests fast-groupthm-build Maximilian Keßler (via gitlab runner) 2022-02-03 14:08:59 +0000
• 0e75b35a8c move test file into cache directory cache-build Maximilian Keßler (via gitlab runner) 2022-02-02 17:11:33 +0000
• 2f5bc647db add comment in cache package Maximilian Keßler (via gitlab runner) 2022-02-02 16:43:54 +0000
• 7086f95008 activate caching for all Document Commands Maximilian Keßler (via gitlab runner) 2022-01-31 20:06:10 +0000
• 0febf65674 update submodule Maximilian Keßler (via gitlab runner) 2022-01-30 23:49:04 +0000
• 1a9368d593 update readme Maximilian Keßler (via gitlab runner) 2022-01-30 21:29:50 +0000
• 05e2b66fcb fix error in Makefile Maximilian Keßler (via gitlab runner) 2022-01-30 21:16:10 +0000
• d96f7e8eed update ci build script to have built packages available when generating documentation Maximilian Keßler (via gitlab runner) 2022-01-30 21:09:48 +0000
• 9c5bd0feab update ci build script to have built packages available when generating documentation v2.8.1-build Maximilian Keßler (via gitlab runner) 2022-01-30 21:07:44 +0000
• 44bb750ed5 provide proper proofdepth macro. fix subproof v2.4.7-build Maximilian Keßler (via gitlab runner) 2022-01-30 21:03:33 +0000
• 36b0972be6 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs v2.4.6-build Maximilian Keßler (via gitlab runner) 2022-01-30 21:02:56 +0000
• e238dc1189 fix infinite recursion bug in claim counter. fix some spacing v2.4.5-build Maximilian Keßler (via gitlab runner) 2022-01-30 21:02:27 +0000
• 2dc856460e update submodule Maximilian Keßler (via gitlab runner) 2022-01-30 20:47:14 +0000
• 85ae9f374f wipe build directory to ensure proper rebuild on next ci invocation Maximilian Keßler 2022-01-30 21:37:07 +0100
• 7fce03d368 add testfile Maximilian Keßler (via gitlab runner) 2022-01-30 17:09:33 +0000
• 0a6ae424a0 remove old fancythm version v2.8-build Maximilian Keßler (via gitlab runner) 2022-01-24 00:28:29 +0000
• 5f5ae81451 update gitignore v2.7-build Maximilian Keßler (via gitlab runner) 2022-01-24 00:25:17 +0000
• a15e144f39 dual license vial lppl and gplv3 v2.6-build Maximilian Keßler (via gitlab runner) 2022-01-15 14:56:24 +0000
• 28d5d8234e rename new version of refproof into old name v2.5.2-build Maximilian Keßler (via gitlab runner) 2022-01-15 14:03:42 +0000
• adc3382c6d update submodule to wipe old files Maximilian Keßler (via gitlab runner) 2022-01-13 20:20:22 +0000
• 1939a623ee force clean rebuild of files with next ci commit Maximilian Keßler 2022-01-13 21:19:12 +0100
• 11db88ce87 remove old build files that have been moved Maximilian Keßler 2022-01-11 23:14:58 +0100
• 96c024cc88 remove old file (has been moved) Maximilian Keßler (via gitlab runner) 2022-01-11 22:13:03 +0000
• 6d4ad4233d fix bugs in refproof Maximilian Keßler (via gitlab runner) 2022-01-11 21:58:09 +0000
• 23d6171b2b make category definitions protected Maximilian Keßler (via gitlab runner) 2022-01-11 21:17:14 +0000
• 7c9b8b6fef add category of graded abelian groups Maximilian Keßler (via gitlab runner) 2022-01-11 20:46:54 +0000
• 7b13e150e5 update (and push) PyTeX Maximilian Keßler (via gitlab runner) 2022-01-11 20:41:45 +0000
• 58a330ddf1 update (and push) PyTeX Maximilian Keßler (via gitlab runner) 2022-01-11 20:39:29 +0000
• c7be525ebb remove category specific stuff from mathop package, integrate categories package into math package v2.5.1-build Maximilian Keßler (via gitlab runner) 2022-01-11 20:39:11 +0000
• a12b342fa0 add mathsymbindex package v2.5.0-build Maximilian Keßler (via gitlab runner) 2022-01-11 19:16:17 +0000
• be688d259f add mathsymbindex package Maximilian Keßler (via gitlab runner) 2022-01-11 19:15:47 +0000
• 817d516c9c add todo package for quick aliases of some todonotes algebraic-geometry-build Maximilian Keßler (via gitlab runner) 2022-01-10 11:49:17 +0000
• a148e89ad1 add todo package for quick aliases of some todonotes Maximilian Keßler (via gitlab runner) 2022-01-10 00:08:07 +0000
• c325e4740f provide proper proofdepth macro. fix subproof Maximilian Keßler (via gitlab runner) 2022-01-09 23:32:04 +0000
• 558b903005 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs Maximilian Keßler (via gitlab runner) 2022-01-09 21:23:03 +0000
• 264898f2ae fix infinite recursion bug in claim counter. fix some spacing Maximilian Keßler (via gitlab runner) 2022-01-09 19:21:33 +0000
• ae7a82c2f3 add explicit subproof environment v2.4.4-build Maximilian Keßler (via gitlab runner) 2022-01-09 14:45:23 +0000
• 425c68b027 add explicit subproof environment Maximilian Keßler (via gitlab runner) 2022-01-09 14:44:56 +0000
• 74edcd4b22 rename proof package to refproof Maximilian Keßler (via gitlab runner) 2022-01-09 13:37:41 +0000
• b6589677e9 rename proof package to refproof v2.4.3-build Maximilian Keßler (via gitlab runner) 2022-01-09 13:37:26 +0000
• 97408561bf make git an X option in script class v2.4.2-build Maximilian Keßler (via gitlab runner) 2022-01-09 13:36:52 +0000
• cf7aaf6002 add cell operator v2.4.1-build Maximilian Keßler (via gitlab runner) 2022-01-09 13:36:21 +0000
• 2a1386dc01 rework proof package: refproof and proof environments functional Maximilian Keßler (via gitlab runner) 2022-01-08 22:43:15 +0000
• bb868fe04d make git an X option in script class Maximilian Keßler (via gitlab runner) 2021-12-20 13:20:49 +0000
• c46f8b092b add cell operator Maximilian Keßler (via gitlab runner) 2021-12-19 10:02:37 +0000
• 1fd95d583b Merge branch 'master' into topology-1 Maximilian Keßler (via gitlab runner) 2021-12-12 20:09:25 +0000
• cb4a57019f add alias rk for rank operator Maximilian Keßler (via gitlab runner) 2021-12-12 20:08:37 +0000