This website requires JavaScript.
5a07aa2453
Delete useless tests
Nicolas Méric
2023-06-16 18:37:00 +0200
cef4086029
Add basic support for beamer frame options and add a figure_content antiquotation
Nicolas Méric
2023-06-16 11:54:33 +0200
9df276ac6f
Add first beamer frame implementation in SML
Nicolas Méric
2023-06-12 08:49:43 +0200
b4f1b8c321
Fix ECs latex list of tables
Nicolas Méric
2023-06-06 19:03:20 +0200
59b082d09d
Handle "_" and "'" in mixfix to be compatible with inner syntax names
Nicolas Méric
2023-06-06 16:44:11 +0200
1869a96b2d
API update.
Achim D. Brucker
2023-06-04 12:01:38 +0200
e95c6386af
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-06-04 10:20:13 +0200
23a85cc8c2
Minor tuning of beamer-related examples.
Achim D. Brucker
2023-06-01 17:58:55 +0200
ddcfb5f708
Initial commit: stubs for using beamer.
Achim D. Brucker
2023-06-01 00:21:19 +0200
02d13cdcad
Fixed release script.
Achim D. Brucker
2023-05-27 21:48:04 +0200
d353ff07cc
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-27 20:56:56 +0200
38035785da
Fixed SRAC definition.
Achim D. Brucker
2023-05-27 20:56:47 +0200
7e7c197ac3
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-25 11:42:31 +0200
4f8e588138
Document disable_assert_evaluation theory atttribute in the manual
Nicolas Méric
2023-05-24 14:17:16 +0200
2c0b51779e
Add the possibility to disable evaluation for assert*
Nicolas Méric
2023-05-24 12:38:29 +0200
350ff6fe76
Make class invariants long-names unique
Nicolas Méric
2023-05-23 07:49:41 +0200
c803474950
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-19 16:19:00 +0200
e17f09e624
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-19 16:16:30 +0200
8051d4233e
Ensure compatibility with TeX Live 2019 (as used by AFP's build servers).
Achim D. Brucker
2023-05-17 13:57:35 +0200
b4b63ce989
Add subcaption package to sn-article template
Nicolas Méric
2023-05-17 12:42:16 +0200
2dc16b263f
Removed root.tex (bug).
Achim D. Brucker
2023-05-17 12:19:30 +0200
5754bb4adc
Added chapter AFP and timeout.
Achim D. Brucker
2023-05-17 09:17:17 +0200
c7debc577b
Moved src formats into subfolder and removed them from ROOT file.
Achim D. Brucker
2023-05-17 09:16:41 +0200
9c94593f45
Removed unused files.
Achim D. Brucker
2023-05-17 06:39:44 +0200
4d89250606
Restrict RegExpInterface notations to onto class definition
Nicolas Méric
2023-05-16 12:27:19 +0200
3f06320034
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-15 17:56:39 +0200
49faed4faf
Disabled PDF generation for currently not supported references.
afp_submission
Achim D. Brucker
2023-05-15 17:55:52 +0200
1a22441f3e
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-15 14:31:01 +0200
df1b2c9904
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-15 14:29:11 +0200
9064cd3f62
Include CENELEC 50128 terminology.
Achim D. Brucker
2023-05-15 14:28:56 +0200
f5b8d4348b
Update mini-odo example references
Nicolas Méric
2023-05-15 13:16:40 +0200
d225a3253c
Fixed typo.
Achim D. Brucker
2023-05-15 13:03:52 +0200
2ee0bc5074
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-15 13:02:52 +0200
9683ea7efa
Ad-hoc fix of undefined references.
Achim D. Brucker
2023-05-15 13:02:49 +0200
bce097b1d6
Commenting out refs to definitionSTAR
Burkhart Wolff
2023-05-15 13:02:41 +0200
65d6fb946d
Update unchecked references
Nicolas Méric
2023-05-15 12:23:31 +0200
060f2aca89
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-15 10:50:08 +0200
ba7c0711a8
Update documentation and some refactoring
Nicolas Méric
2023-05-15 10:48:40 +0200
4adbe4ce81
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-15 10:20:12 +0200
7e698a9e69
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-15 10:16:34 +0200
2569db05c3
Pushed raggedbottom into templates.
Achim D. Brucker
2023-05-15 10:16:31 +0200
cd311d8a3a
Update firgure* implementation
Nicolas Méric
2023-05-15 09:34:35 +0200
fb69f05ac0
Merge pull request 'idir-remarks' (#30 ) from idir-remarks into main
Achim D. Brucker
2023-05-15 06:34:49 +0000
1986d0bcbd
Merge branch 'main' into idir-remarks
Achim D. Brucker
2023-05-15 06:34:34 +0000
bbac65e233
Proof reading.
Achim D. Brucker
2023-05-15 08:30:33 +0200
9cd34d7815
Run latexmk in error mode for checking for undefined references and other errors after build.
Achim D. Brucker
2023-05-15 07:35:11 +0200
641bea4a58
Improved documentation and fixed width-bug of figure* macro.
Achim D. Brucker
2023-05-15 00:01:30 +0200
d0cd28a45c
eliminated side_by_side figure, actualized refman.
Burkhart Wolff
2023-05-14 17:35:00 +0200
db4290428f
...
Burkhart Wolff
2023-05-13 18:22:27 +0200
43da6d3197
...
Burkhart Wolff
2023-05-13 18:20:29 +0200
a93046beac
Merge.
Achim D. Brucker
2023-05-13 00:09:44 +0200
b8282b771e
Cleanup
Nicolas Méric
2023-05-12 20:04:44 +0200
1cfc4ac88a
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Burkhart Wolff
2023-05-12 17:50:50 +0200
e9044e8d5a
Updating odo
Burkhart Wolff
2023-05-12 17:50:42 +0200
6bab138af6
Removed default author.
Achim D. Brucker
2023-05-12 17:50:17 +0200
fcc25f7450
Removed implementation of figure* and side_by_side_figure.
Achim D. Brucker
2023-05-12 17:47:18 +0200
e97cca1a2c
reactivated Cenelec_Test
Burkhart Wolff
2023-05-12 17:17:57 +0200
33fd1453a0
Global remove of side-by-side-figures, fixing various bugs - Caveat: no correspondance figure* - class figure.
Burkhart Wolff
2023-05-12 17:04:30 +0200
543c647bcc
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Burkhart Wolff
2023-05-12 16:19:29 +0200
f7141f0df8
debugging the LaTeX generation for COL
Burkhart Wolff
2023-05-12 16:19:14 +0200
514ebee17c
pass on new figure implemntation
Burkhart Wolff
2023-05-12 15:11:37 +0200
bdc8477f38
Code Cleanup
Burkhart Wolff
2023-05-12 09:42:52 +0200
7e01b7de97
Implement long names for classes term-antiquotataions
Nicolas Méric
2023-05-11 18:18:40 +0200
8bdd40fc20
basic problems on multiple subfloats content solved
Burkhart Wolff
2023-05-11 16:21:37 +0200
9cc03c0816
Idir remarks for the intrduction of the manual.
Idir Ait-Sadoune
2023-05-11 13:18:12 +0200
e9cfcdbcbc
Idir remarks for the abstract of the manual.
Idir Ait-Sadoune
2023-05-11 12:48:49 +0200
36740bf72b
debugging fig_content
Burkhart Wolff
2023-05-11 11:48:05 +0200
b8da1a304a
Improved fig_content, fix backend bugs in COL_Test
Burkhart Wolff
2023-05-10 18:31:27 +0200
5b519fcbe6
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Burkhart Wolff
2023-05-10 15:54:17 +0200
50da7670cf
Some repair on the coherence problems in COL
Burkhart Wolff
2023-05-10 15:54:02 +0200
09d1b27f10
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-10 15:21:35 +0200
34e23b314f
Overwrite checks by scholarly paper.
Achim D. Brucker
2023-05-10 15:21:29 +0200
0aa9f1ff25
renamed figure2 into float
Burkhart Wolff
2023-05-10 12:37:29 +0200
3f8fc4f16f
Tuning.
Achim D. Brucker
2023-05-10 11:13:45 +0200
b62b391410
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Achim D. Brucker
2023-05-10 10:40:44 +0200
41a4f38478
Initial support for Springer Nature's LaTeX template.
Achim D. Brucker
2023-05-10 10:40:19 +0200
ca8671ee1c
a version with @{fig_content in the test
Burkhart Wolff
2023-05-09 23:12:50 +0200
9e210b487a
a version with @{fig_content in the test
Burkhart Wolff
2023-05-09 23:08:57 +0200
6317294721
layout trimming
Burkhart Wolff
2023-05-09 22:37:41 +0200
762680a20c
eliminated calamity with tick symbol, layout imprivements, eliminated docitem
Burkhart Wolff
2023-05-09 20:18:33 +0200
850244844b
eliminated calamity with tick symbol, layout imprivements, eliminated docitem
Burkhart Wolff
2023-05-09 20:17:00 +0200
322d70ef69
deleting subparagraph (never used),orienting Example-I on figure2.
Burkhart Wolff
2023-05-09 16:15:47 +0200
b04ff7e31a
Some first test on the COL library, assuring coherence between text* and figure* versiona.
Burkhart Wolff
2023-05-09 12:59:42 +0200
7ba220e417
LaTeX sty Bug xrt figure2
Burkhart Wolff
2023-05-09 12:16:37 +0200
713a24615f
LaTeX sty Bug xrt figure2
Burkhart Wolff
2023-05-09 12:13:23 +0200
7ffdcbc569
experiment with figure2
Burkhart Wolff
2023-05-09 04:14:57 +0200
43ce393e4a
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-07 17:43:31 +0100
4326492b39
false box
Burkhart Wolff
2023-05-06 15:55:22 +0200
1e7f6a7c18
trimming, putting the begin-figure blocks in independent text elements
Burkhart Wolff
2023-05-06 15:15:53 +0200
a087e94ebe
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-05 06:18:51 +0100
78cb606268
Removed mkroot example, which is only available when using Isabelle/DOF as a proper Isabelle component.
Achim D. Brucker
2023-05-04 14:20:40 +0100
c40a5a74c1
Ad-hoc conversion of listing-environments (LaTeX) to boxed-antiquotations.
Achim D. Brucker
2023-05-04 14:11:32 +0100
fc214fc391
Merge branch 'main' into isabelle_nightly
Achim D. Brucker
2023-05-03 11:57:59 +0100
f613811154
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Burkhart Wolff
2023-05-03 10:55:44 +0200
4c66716999
experiments with boxes
Burkhart Wolff
2023-05-03 10:55:37 +0200
639abb6cf5
Removed not used listings setup.
Achim D. Brucker
2023-05-02 23:06:02 +0100
2c00f4b8db
Synchronised updates.
Achim D. Brucker
2023-05-02 22:34:34 +0100
d9e2f251d2
Kleinkram
Burkhart Wolff
2023-05-02 12:21:48 +0200
cec21c9935
kicked out inlineisar
Burkhart Wolff
2023-05-02 11:37:03 +0200
640a867f28
Port to Isabelle Nightly.
Achim D. Brucker
2023-04-28 15:00:10 +0100