 Achim D. Brucker
|
4393042f2c
|
Merge.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-08-29 08:09:28 +01:00 |
|
Achim D. Brucker
|
fef7b9d60b
|
Merge commit 'cef4086029' into isabelle_nightly
ci/woodpecker/push/build Pipeline failed
Details
|
2023-08-29 06:40:37 +01:00 |
|
Achim D. Brucker
|
ab7d695a77
|
Merge.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-08-29 06:37:33 +01:00 |
Nicolas Méric
|
9812bc0517
|
Use binding for instances name
ci/woodpecker/push/build Pipeline failed
Details
|
2023-07-20 10:11:48 +02:00 |
|
Nicolas Méric
|
889805cccc
|
Add basic block environment support for beamer
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-06-19 09:19:28 +02:00 |
|
Nicolas Méric
|
cef4086029
|
Add basic support for beamer frame options and add a figure_content antiquotation
ci/woodpecker/push/build Pipeline failed
Details
|
2023-06-16 11:54:33 +02:00 |
|
Nicolas Méric
|
9df276ac6f
|
Add first beamer frame implementation in SML
ci/woodpecker/push/build Pipeline failed
Details
|
2023-06-15 16:07:08 +02:00 |
|
Achim D. Brucker
|
1869a96b2d
|
API update.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-06-04 12:01:38 +02:00 |
|
Achim D. Brucker
|
e95c6386af
|
Merge branch 'main' into isabelle_nightly
|
2023-06-04 10:20:13 +02:00 |
|
Achim D. Brucker
|
23a85cc8c2
|
Minor tuning of beamer-related examples.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-06-01 17:58:55 +02:00 |
|
Achim D. Brucker
|
ddcfb5f708
|
Initial commit: stubs for using beamer.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-06-01 00:21:19 +02:00 |
|
Achim D. Brucker
|
1a22441f3e
|
Merge branch 'main' into isabelle_nightly
ci/woodpecker/push/build Pipeline failed
Details
|
2023-05-15 14:31:01 +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
|
a93046beac
|
Merge.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-05-13 00:09:44 +02:00 |
 Burkhart Wolff
|
e9044e8d5a
|
Updating odo
|
2023-05-12 17:50:42 +02:00 |
|
Achim D. Brucker
|
fc214fc391
|
Merge branch 'main' into isabelle_nightly
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-05-03 11:57:59 +01:00 |
|
Achim D. Brucker
|
639abb6cf5
|
Removed not used listings setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-05-02 23:06:02 +01:00 |
|
Achim D. Brucker
|
47e8fc805f
|
Merge branch 'main' into Isabelle_dev
ci/woodpecker/push/build Pipeline failed
Details
|
2023-04-27 14:54:52 +01:00 |
|
Nicolas Méric
|
0f48f356df
|
Fix sml latex environment issue with "$"
|
2023-04-27 14:53:17 +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 |
|
Achim D. Brucker
|
480272ad86
|
Merge branch 'main' into Isabelle_dev
|
2023-04-16 08:45:16 +01:00 |
|
Achim D. Brucker
|
9318ea55a0
|
Fixed archive building after session renaming.
|
2023-04-15 16:52:25 +01:00 |
|
Achim D. Brucker
|
fba9ca78e9
|
Restructured examples.
|
2023-02-19 22:40:11 +00:00 |
|
Achim D. Brucker
|
ba90433700
|
Removed links to files outside of the current session.
|
2023-02-19 17:46:16 +00:00 |
|
Achim D. Brucker
|
38628c37dc
|
Integrated manual into Isabelle/DOF session.
|
2023-02-19 15:49:07 +00:00 |
|
Achim D. Brucker
|
43ccaf43f7
|
Refactoring of session setup.
|
2023-02-19 13:06:00 +00:00 |