Commit graph

73 commits

Author SHA1 Message Date
558b903005 fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs
Build branch master (c0e4705) from kesslermaximilian/LatexPackages
2022-01-09 21:23:03 +00:00
264898f2ae fix infinite recursion bug in claim counter. fix some spacing
Build branch master (47449c5) from kesslermaximilian/LatexPackages
2022-01-09 19:21:33 +00:00
425c68b027 add explicit subproof environment
Build branch master (f4d0797) from kesslermaximilian/LatexPackages
2022-01-09 14:44:56 +00:00
74edcd4b22 rename proof package to refproof
Build branch master (bc072ff) from kesslermaximilian/LatexPackages
2022-01-09 13:37:41 +00:00
2a1386dc01 rework proof package: refproof and proof environments functional
Build branch master (c592a7f) from kesslermaximilian/LatexPackages
2022-01-08 22:43:15 +00:00
cb4a57019f add alias rk for rank operator
Build branch master (a643415) from kesslermaximilian/LatexPackages
2021-12-12 20:08:37 +00:00
e40f1aa252 Merge branch 'algebraic-geometry'
Build branch master (f2a9f5f) from kesslermaximilian/LatexPackages
2021-12-12 19:15:07 +00:00
70d7243d5b Merge branch 'topology-1'
Build branch master (bfa91d4) from kesslermaximilian/LatexPackages
2021-11-07 15:15:12 +00:00
ccf09b5463 Version v2.4.0-beta
Build Tag v2.4.0-beta from LatexPackages
2021-10-29 09:44:09 +02:00
cc00a8fa73 conform to uniform macro usage
Build branch master (0aefd5f) from kesslermaximilian/LatexPackages
2021-10-29 07:35:40 +00:00
ad1722c9b4 Merge branch 'algebraic-geometry'
Build branch master (ea81a05) from kesslermaximilian/LatexPackages
2021-10-27 18:28:50 +00:00
06c4678f4e add various shortlabels / enumerate styles to enumerate package
Build branch master (9b279f6) from kesslermaximilian/LatexPackages
2021-10-26 07:45:37 +00:00
c241ec2780 adjust test
Build branch master (7116da1) from kesslermaximilian/LatexPackages
2021-10-25 21:57:39 +00:00
2b23ccc691 fix duplicate definition
Build branch master (7acfb67) from kesslermaximilian/LatexPackages
2021-10-25 17:42:46 +00:00
eeb497f852 add restriction operator
Build branch master (39e907e) from kesslermaximilian/LatexPackages
2021-10-25 10:09:05 +00:00
baf2f5ee91 add shortcuts for opposite categories and abelianization
Build branch master (54afb2f) from kesslermaximilian/LatexPackages
2021-10-25 07:10:38 +00:00
cc08564df4 tests for future math operators
Build branch master (356c7a3) from kesslermaximilian/LatexPackages
2021-10-25 07:00:46 +00:00
6653e10813 mathalias: add aliases for \mathbb{} in extended mode
Build branch master (8cc3232) from kesslermaximilian/LatexPackages
2021-10-24 19:18:14 +00:00
767cbb70f9 faktor: change order of optional arguments to not bother with '[' charactor after faktor
Build branch master (5a7525f) from kesslermaximilian/LatexPackages
2021-10-24 19:12:54 +00:00
68968d6ef3 source git set up script
Build branch master (dd60e7c) from kesslermaximilian/LatexPackages
2021-10-24 09:26:31 +00:00
6d61ef6488 remove unneccessary installs
Build branch master (c13f650) from kesslermaximilian/LatexPackages
2021-10-24 09:19:39 +00:00
7e5e3ab7c8 remove travis stuff
Build branch master (1113e0d) from kesslermaximilian/LatexPackages
2021-10-24 08:43:05 +00:00
72298c5319 Merge branch 'build-rework' into 'master'
Build rework

See merge request latexci/packages/LatexPackages!4

Build branch master (0e52073) from kesslermaximilian/LatexPackages
2021-10-24 08:36:31 +00:00