|
|
47449c57cb
|
fix infinite recursion bug in claim counter. fix some spacing
|
2022-01-09 20:20:56 +01:00 |
|
|
|
f4d079796a
|
add explicit subproof environment
|
2022-01-09 15:38:26 +01:00 |
|
|
|
3d6f2501df
|
autodetect proof depth and convert to subproof when using smart proof environment
|
2022-01-09 15:35:16 +01:00 |
|
|
|
23d4b92367
|
make plain proof and subproof available
|
2022-01-09 15:30:06 +01:00 |
|
|
|
bc072ff891
|
rename proof package to refproof
|
2022-01-09 14:34:42 +01:00 |
|
|
|
6ef381dc6a
|
integrate separate dictionary for proof package
|
2022-01-09 14:30:58 +01:00 |
|
|
|
06965d4a3a
|
use translation package in proof.pysty for easy translations
|
2022-01-09 13:11:01 +01:00 |
|
|
|
6f88fd20f0
|
update submodule pytex
|
2022-01-09 12:27:12 +01:00 |
|
|
|
c592a7f8ac
|
rework proof package: refproof and proof environments functional
|
2022-01-08 23:42:40 +01:00 |
|
|
|
14c4939841
|
make git an X option in script class
|
2021-12-20 14:20:16 +01:00 |
|
|
|
e238de78b6
|
add cell operator
|
2021-12-19 11:01:59 +01:00 |
|
|
|
43b88cc6ad
|
Merge branch 'master' into topology-1
|
2021-12-12 21:08:25 +01:00 |
|
|
|
a643415558
|
add alias rk for rank operator
|
2021-12-12 21:08:03 +01:00 |
|
|
|
4aa3ce8c18
|
Merge branch 'master' into topology-1
|
2021-12-12 20:14:12 +01:00 |
|
|
|
f2a9f5f703
|
Merge branch 'algebraic-geometry'
|
2021-12-12 20:13:31 +01:00 |
|
|
|
dd0288d437
|
add some operators
|
2021-11-26 12:18:53 +01:00 |
|
|
|
4fcd047da5
|
add Supp, Ann, OC operators
|
2021-11-08 22:57:03 +01:00 |
|
|
|
2f34007389
|
add operators Idem and eq
|
2021-11-08 22:47:23 +01:00 |
|
|
|
ba89fd94f5
|
add category of graded abelian groups
|
2021-11-07 18:57:40 +01:00 |
|
|
|
bfa91d4f66
|
Merge branch 'topology-1'
|
2021-11-07 16:14:29 +01:00 |
|
|
|
2786d460f2
|
add operator for GL and PGL (general linear groups)
|
2021-11-07 16:13:12 +01:00 |
|
|
|
60ba5846f3
|
change characteristic operator to capital C to avoid clash with builtin \char
|
2021-11-04 07:18:25 +01:00 |
|
|
|
0aefd5fd71
|
conform to uniform macro usage
|
2021-10-29 09:28:01 +02:00 |
|
|
|
ea81a055fb
|
Merge branch 'algebraic-geometry'
|
2021-10-27 20:26:58 +02:00 |
|
|
|
64416f686e
|
add pushout and pullback symbols
|
2021-10-27 20:26:45 +02:00 |
|
|
|
9b279f65fd
|
add various shortlabels / enumerate styles to enumerate package
|
2021-10-26 09:43:13 +02:00 |
|
|
|
7116da1450
|
adjust test
|
2021-10-25 23:56:32 +02:00 |
|
|
|
1273d8c145
|
add operator for free product
|
2021-10-25 22:48:15 +02:00 |
|
|
|
b786087673
|
fix error
|
2021-10-25 22:45:37 +02:00 |
|
|
|
717ee052d8
|
add direct and inverse limit operators
|
2021-10-25 22:40:34 +02:00 |
|
|
|
7acfb67e7a
|
fix duplicate definition
|
2021-10-25 19:41:33 +02:00 |
|
|
|
39e907ed2c
|
add restriction operator
|
2021-10-25 12:08:15 +02:00 |
|
|
|
ad29266e4a
|
Merge branch 'master' into algebraic-geometry
|
2021-10-25 09:10:09 +02:00 |
|
|
|
54afb2f025
|
add shortcuts for opposite categories and abelianization
|
2021-10-25 09:09:56 +02:00 |
|
|
|
a805b283e2
|
add some categories and math operators
|
2021-10-25 09:04:16 +02:00 |
|
|
|
356c7a3e12
|
tests for future math operators
|
2021-10-25 09:00:04 +02:00 |
|
|
|
8cc3232462
|
mathalias: add aliases for \mathbb{} in extended mode
|
2021-10-24 21:17:40 +02:00 |
|
|
|
c24a383950
|
operators: add sing operator for singular homology
|
2021-10-24 21:15:21 +02:00 |
|
|
|
5a7525ffa4
|
faktor: change order of optional arguments to not bother with '[' charactor after faktor
|
2021-10-24 21:11:34 +02:00 |
|
|
|
dd60e7cba7
|
source git set up script
|
2021-10-24 11:26:00 +02:00 |
|
|
|
3f0fd326c2
|
make script executable
|
2021-10-24 11:24:07 +02:00 |
|
|
|
a0fbf61664
|
clean up gitlab ci config
|
2021-10-24 11:23:20 +02:00 |
|
|
|
c13f6500d0
|
remove unneccessary installs
|
2021-10-24 11:19:07 +02:00 |
|
|
|
1113e0ddd0
|
remove travis stuff
|
2021-10-24 10:42:22 +02:00 |
|
|
|
0e520739a3
|
Merge branch 'build-rework' into 'master'
Build rework
See merge request latexci/packages/LatexPackages!4
|
2021-10-24 08:35:54 +00:00 |
|
|
|
2524b6a0e0
|
Build rework
|
2021-10-24 08:35:53 +00:00 |
|
|
|
e423e48d1d
|
add clean target
|
2021-10-19 21:03:31 +02:00 |
|
|
|
f8756037cb
|
incremental building: skip packages that were not modified and are already built
|
2021-10-18 16:27:20 +02:00 |
|
|
|
4a9f1f3b25
|
refactor building files into subfolder
|
2021-10-18 15:55:52 +02:00 |
|
|
|
b4a4161026
|
update submodule and adjust buildfile
|
2021-10-18 15:10:28 +02:00 |
|
