|
|
51b145b019
|
dual license vial lppl and gplv3
|
2022-01-15 15:54:42 +01:00 |
|
|
|
fbc4fd50c8
|
rename new version of refproof into old name
|
2022-01-15 15:01:31 +01:00 |
|
|
|
b6e3cf967c
|
add subproof tests
|
2022-01-15 14:57:05 +01:00 |
|
|
|
4eb5d7cd9c
|
rework of refproof as latex3 package complete. outsorced subproof properly
|
2022-01-15 14:56:53 +01:00 |
|
|
|
754278a807
|
add separate subproof package
|
2022-01-15 12:14:22 +01:00 |
|
|
|
4b695a6a06
|
rework proof package into LaTeX3 style
|
2022-01-15 12:06:24 +01:00 |
|
|
|
31245c6a17
|
use grouping in refproof package. delete wrong file
|
2022-01-14 20:35:54 +01:00 |
|
|
|
b36220f82a
|
start latex3 implementation of refproof
|
2022-01-14 18:48:21 +01:00 |
|
|
|
f574ac67a2
|
update submodule to wipe old files
|
2022-01-13 21:13:03 +01:00 |
|
|
|
c473a0cde8
|
update submodule
|
2022-01-13 21:02:58 +01:00 |
|
|
|
92d52a2505
|
clean old files on build
|
2022-01-13 20:58:29 +01:00 |
|
|
|
f8da930cb5
|
update submodule
|
2022-01-13 20:56:17 +01:00 |
|
|
|
c3430270b9
|
update submodule
|
2022-01-12 21:35:58 +01:00 |
|
|
|
431d6fa9ea
|
update submodule to fix formatting bug
|
2022-01-12 21:03:18 +01:00 |
|
|
|
9f5fc84dc6
|
remove old file (has been moved)
|
2022-01-11 23:12:31 +01:00 |
|
|
|
70426b2d22
|
fix bugs in refproof
|
2022-01-11 22:57:37 +01:00 |
|
|
|
613e16998b
|
make category definitions protected
|
2022-01-11 22:16:31 +01:00 |
|
|
|
1966cb5d2b
|
add category of graded abelian groups
|
2022-01-11 21:46:20 +01:00 |
|
|
|
da44daa271
|
update (and push) PyTeX
|
2022-01-11 21:38:18 +01:00 |
|
|
|
50e2c7c956
|
remove category specific stuff from mathop package, integrate categories package into math package
|
2022-01-11 21:26:08 +01:00 |
|
|
|
0a739e2550
|
add categories package
|
2022-01-11 21:25:37 +01:00 |
|
|
|
4f930a03ee
|
rename and move symbindex package. remove category specific stuff
|
2022-01-11 21:24:20 +01:00 |
|
|
|
296afc067b
|
add mathsymbindex package
Used to define math operators with automatic indexing
Still in development, but fully working by now
|
2022-01-11 18:56:51 +01:00 |
|
|
|
786566944d
|
update submodule
|
2022-01-11 18:08:30 +01:00 |
|
|
|
ba8092f2f6
|
add todo package for quick aliases of some todonotes
|
2022-01-10 01:07:39 +01:00 |
|
|
|
07ccba4d23
|
make all target for building packages
|
2022-01-10 01:06:47 +01:00 |
|
|
|
eb06eb8fbc
|
provide proper proofdepth macro. fix subproof
|
2022-01-10 00:31:26 +01:00 |
|
|
|
0011cb2270
|
remove (debug) \proofdepth macro
|
2022-01-10 00:11:01 +01:00 |
|
|
|
c0e4705c63
|
fix refproof bugs: correct restoring of counter values and claim style numberings in stacked proofs
|
2022-01-09 21:45:25 +01:00 |
|
|
|
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 |
|
