Achim D. Brucker
|
49aa29ee68
|
Normalised LaTeX command names.
|
2023-04-26 08:16:32 +01:00 |
Burkhart Wolff
|
2919f5d2a5
|
animation over ontologies vs. meta-language
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-26 07:14:46 +02:00 |
Burkhart Wolff
|
6cafcce536
|
boxed sml preserves now $.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-25 22:05:33 +02:00 |
Burkhart Wolff
|
ebce149d6a
|
...
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-25 17:50:05 +02:00 |
Burkhart Wolff
|
6984b9ae03
|
minor stuff
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-25 17:09:36 +02:00 |
Burkhart Wolff
|
74e2341971
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2023-04-25 16:21:05 +02:00 |
Burkhart Wolff
|
16caefc7be
|
revision/restructuring > pp 40
|
2023-04-25 16:20:58 +02:00 |
Achim D. Brucker
|
0d74645d2e
|
Merge and upgrade to development version of Isabelle/HOL.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-24 22:26:39 +01:00 |
Burkhart Wolff
|
f906d45d48
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-24 12:15:27 +02:00 |
Burkhart Wolff
|
761a336a7a
|
Nicos improvements.
|
2023-04-24 12:05:04 +02:00 |
Nicolas Méric
|
b3f396fb08
|
Fix abstract \isadof macro name
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-20 14:55:27 +02:00 |
Burkhart Wolff
|
77aeb3b7ca
|
...
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-20 14:29:38 +02:00 |
Burkhart Wolff
|
81208f73a8
|
more thorough reference tests ....
|
2023-04-20 14:29:25 +02:00 |
Burkhart Wolff
|
f093bfc961
|
...
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-20 11:46:50 +02:00 |
Burkhart Wolff
|
2c7df482e8
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-20 09:47:30 +02:00 |
Burkhart Wolff
|
c9de5f2293
|
put ltxinline into macro notation
|
2023-04-20 09:47:22 +02:00 |
Nicolas Méric
|
c6dc848438
|
Some cleanup
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-20 08:30:09 +02:00 |
Burkhart Wolff
|
1acf863845
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-19 21:50:51 +02:00 |
Burkhart Wolff
|
a6aca1407e
|
added sec on term atq, restructuring
|
2023-04-19 21:50:43 +02:00 |
Burkhart Wolff
|
4c953fb954
|
revised sec 3
|
2023-04-19 21:17:07 +02:00 |
Nicolas Méric
|
77e8844687
|
Fix Cenelec test build error
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-19 15:57:43 +02:00 |
Nicolas Méric
|
939715aba9
|
Fix scholarly_paper
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-19 15:53:31 +02:00 |
Burkhart Wolff
|
d809211481
|
revision to 2 completed, still todo'ds in 3 and 4 and beyond
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-19 13:17:26 +02:00 |
Achim D. Brucker
|
480272ad86
|
Merge branch 'main' into Isabelle_dev
|
2023-04-16 08:45:16 +01:00 |
Achim D. Brucker
|
d277fa2aed
|
Updated READMEs after session renaming.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-15 16:55:15 +01:00 |
Achim D. Brucker
|
9318ea55a0
|
Fixed archive building after session renaming.
|
2023-04-15 16:52:25 +01:00 |
Achim D. Brucker
|
3408b90f89
|
Added autoref names.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-15 13:16:14 +01:00 |
Burkhart Wolff
|
dd0a9981a3
|
LaTeX bug fixed, little optimizations
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-15 10:30:04 +02:00 |
Achim D. Brucker
|
e549bcb23c
|
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-14 21:23:23 +01:00 |
Achim D. Brucker
|
04c8c8d150
|
Fixed setup for mathematical concepts.
|
2023-04-14 21:04:08 +01:00 |
Achim D. Brucker
|
a5885b3eb5
|
Fixed ref/label setup.
|
2023-04-14 20:56:43 +01:00 |
Achim D. Brucker
|
4cdb6d725b
|
Use DOF-CC_terminology.sty.
|
2023-04-14 20:55:23 +01:00 |
Achim D. Brucker
|
486ae2db97
|
Initial commit.
|
2023-04-14 20:54:45 +01:00 |
Burkhart Wolff
|
fb8da62182
|
minor polishing
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-14 14:46:15 +02:00 |
Burkhart Wolff
|
6c588c3fe4
|
added diag 'integrated document'
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-14 10:41:14 +02:00 |
Burkhart Wolff
|
3ab6f665eb
|
rearranging the story in Background
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-13 22:00:35 +02:00 |
Burkhart Wolff
|
0c8bc2cab3
|
new high-level presentations in background
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-13 18:29:10 +02:00 |
Burkhart Wolff
|
20ac16196a
|
...
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-12 14:25:48 +02:00 |
Burkhart Wolff
|
d62cd04e26
|
alphabetic order of authors
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-12 13:48:24 +02:00 |
Burkhart Wolff
|
96d20c127f
|
pass over Background
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-12 13:46:05 +02:00 |
Burkhart Wolff
|
394189e9e0
|
twiddle of text in jedit removed.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-12 13:14:00 +02:00 |
Burkhart Wolff
|
1f79e37d9b
|
pass over Background
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-12 13:11:09 +02:00 |
Burkhart Wolff
|
b43de570a4
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2023-04-12 10:34:56 +02:00 |
Burkhart Wolff
|
debddc45d2
|
diverse modifs.
|
2023-04-12 10:34:41 +02:00 |
Burkhart Wolff
|
3de5548642
|
reset
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-11 23:17:32 +02:00 |
Burkhart Wolff
|
4157954506
|
revision of front, intro and bachgrnd (incomplete)
|
2023-04-11 23:15:32 +02:00 |
Burkhart Wolff
|
25473b177b
|
added (incomplete) ref to ABZ paper
|
2023-04-11 23:14:33 +02:00 |
Nicolas Méric
|
36cd3817cf
|
Quick fix for text* macros latex output
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-11 18:52:57 +02:00 |
Burkhart Wolff
|
cb2b0dc230
|
...
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-06 15:23:55 +02:00 |
Burkhart Wolff
|
c82a3a7e70
|
restructuring with iFM2020 as own AFP component
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-06 13:48:38 +02:00 |