Achim D. Brucker
49faed4faf
Disabled PDF generation for currently not supported references.
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-15 17:55:52 +02:00
Achim D. Brucker
df1b2c9904
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 14:29:11 +02:00
Achim D. Brucker
9064cd3f62
Include CENELEC 50128 terminology.
2023-05-15 14:28:56 +02:00
Nicolas Méric
f5b8d4348b
Update mini-odo example references
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 13:16:40 +02:00
Achim D. Brucker
d225a3253c
Fixed typo.
2023-05-15 13:03:52 +02:00
Achim D. Brucker
2ee0bc5074
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 13:02:52 +02:00
Achim D. Brucker
9683ea7efa
Ad-hoc fix of undefined references.
2023-05-15 13:02:49 +02:00
Burkhart Wolff
bce097b1d6
Commenting out refs to definitionSTAR
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 13:02:41 +02:00
Nicolas Méric
65d6fb946d
Update unchecked references
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 12:23:31 +02:00
Nicolas Méric
ba7c0711a8
Update documentation and some refactoring
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 10:48:40 +02:00
Achim D. Brucker
7e698a9e69
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 10:16:34 +02:00
Achim D. Brucker
2569db05c3
Pushed raggedbottom into templates.
2023-05-15 10:16:31 +02:00
Nicolas Méric
cd311d8a3a
Update firgure* implementation
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 09:36:02 +02:00
Achim D. Brucker
fb69f05ac0
Merge pull request 'idir-remarks' ( #30 ) from idir-remarks into main
...
ci/woodpecker/push/build Pipeline failed
Details
Reviewed-on: #30
2023-05-15 06:34:49 +00:00
Achim D. Brucker
1986d0bcbd
Merge branch 'main' into idir-remarks
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/pr/build Pipeline failed
Details
2023-05-15 06:34:34 +00:00
Achim D. Brucker
bbac65e233
Proof reading.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 08:30:33 +02:00
Achim D. Brucker
9cd34d7815
Run latexmk in error mode for checking for undefined references and other errors after build.
2023-05-15 07:35:11 +02:00
Achim D. Brucker
641bea4a58
Improved documentation and fixed width-bug of figure* macro.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-15 00:01:30 +02:00
Burkhart Wolff
d0cd28a45c
eliminated side_by_side figure, actualized refman.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-14 17:35:00 +02:00
Burkhart Wolff
db4290428f
...
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-13 18:22:27 +02:00
Burkhart Wolff
43da6d3197
...
2023-05-13 18:20:29 +02:00
Nicolas Méric
b8282b771e
Cleanup
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-12 20:04:44 +02:00
Burkhart Wolff
1cfc4ac88a
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-12 17:50:50 +02:00
Burkhart Wolff
e9044e8d5a
Updating odo
2023-05-12 17:50:42 +02:00
Achim D. Brucker
6bab138af6
Removed default author.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-12 17:50:17 +02:00
Achim D. Brucker
fcc25f7450
Removed implementation of figure* and side_by_side_figure.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-12 17:47:18 +02:00
Burkhart Wolff
e97cca1a2c
reactivated Cenelec_Test
ci/woodpecker/push/build Pipeline failed
Details
2023-05-12 17:17:57 +02:00
Burkhart Wolff
33fd1453a0
Global remove of side-by-side-figures, fixing various bugs - Caveat: no correspondance figure* - class figure.
2023-05-12 17:04:30 +02:00
Burkhart Wolff
543c647bcc
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
2023-05-12 16:19:29 +02:00
Burkhart Wolff
f7141f0df8
debugging the LaTeX generation for COL
2023-05-12 16:19:14 +02:00
Burkhart Wolff
514ebee17c
pass on new figure implemntation
2023-05-12 15:11:37 +02:00
Burkhart Wolff
bdc8477f38
Code Cleanup
2023-05-12 09:42:52 +02:00
Nicolas Méric
7e01b7de97
Implement long names for classes term-antiquotataions
...
ci/woodpecker/push/build Pipeline failed
Details
Examples with value* that now work:
value*‹@{scholarly-paper.author ‹church'›}›
value*‹@{author ‹church›}›
value*‹@{Concept-High-Level-Invariants.author ‹church›}›
value*‹@{scholarly-paper.author-instances}›
value*‹@{author-instances}›
value*‹@{Concept-High-Level-Invariants.author-instances}›
2023-05-11 19:02:55 +02:00
Burkhart Wolff
8bdd40fc20
basic problems on multiple subfloats content solved
2023-05-11 16:21:37 +02:00
Idir Ait-Sadoune
9cc03c0816
Idir remarks for the intrduction of the manual.
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/pr/build Pipeline failed
Details
2023-05-11 13:18:12 +02:00
Idir Ait-Sadoune
e9cfcdbcbc
Idir remarks for the abstract of the manual.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-11 12:48:49 +02:00
Burkhart Wolff
36740bf72b
debugging fig_content
ci/woodpecker/push/build Pipeline failed
Details
2023-05-11 11:48:05 +02:00
Burkhart Wolff
b8da1a304a
Improved fig_content, fix backend bugs in COL_Test
ci/woodpecker/push/build Pipeline failed
Details
2023-05-10 18:31:27 +02:00
Burkhart Wolff
5b519fcbe6
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-10 15:54:17 +02:00
Burkhart Wolff
50da7670cf
Some repair on the coherence problems in COL
2023-05-10 15:54:02 +02:00
Achim D. Brucker
09d1b27f10
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-10 15:21:35 +02:00
Achim D. Brucker
34e23b314f
Overwrite checks by scholarly paper.
2023-05-10 15:21:29 +02:00
Burkhart Wolff
0aa9f1ff25
renamed figure2 into float
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-10 12:37:29 +02:00
Achim D. Brucker
3f8fc4f16f
Tuning.
ci/woodpecker/push/build Pipeline failed
Details
2023-05-10 11:13:45 +02:00
Achim D. Brucker
b62b391410
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-10 10:40:44 +02:00
Achim D. Brucker
41a4f38478
Initial support for Springer Nature's LaTeX template.
2023-05-10 10:40:19 +02:00
Burkhart Wolff
ca8671ee1c
a version with @{fig_content in the test
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-09 23:12:50 +02:00
Burkhart Wolff
9e210b487a
a version with @{fig_content in the test
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-09 23:08:57 +02:00
Burkhart Wolff
6317294721
layout trimming
ci/woodpecker/push/build Pipeline was successful
Details
2023-05-09 22:37:41 +02:00
Burkhart Wolff
762680a20c
eliminated calamity with tick symbol, layout imprivements, eliminated docitem
2023-05-09 20:18:33 +02:00