Isabelle_DOF/Isabelle_DOF-Examples-Extra/beamerx
Nicolas Méric 889805cccc
ci/woodpecker/push/build Pipeline was successful Details
Add basic block environment support for beamer
2023-06-19 09:19:28 +02:00
..
poster Add basic block environment support for beamer 2023-06-19 09:19:28 +02:00
presentation Add basic support for beamer frame options and add a figure_content antiquotation 2023-06-16 11:54:33 +02:00
ROOTS Initial commit: stubs for using beamer. 2023-06-01 00:21:19 +02:00