updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy;
authorwenzelm
Sat, 02 Sep 2023 12:12:32 +0200
changeset 78630 93756069b867
parent 78629 569135d7352a
child 78631 0649be5c3036
updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy;
Admin/components/bundled
Admin/components/components.sha1
--- a/Admin/components/bundled	Fri Sep 01 21:23:55 2023 +0200
+++ b/Admin/components/bundled	Sat Sep 02 12:12:32 2023 +0200
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-naproche-20230711
+naproche-20230902
--- a/Admin/components/components.sha1	Fri Sep 01 21:23:55 2023 +0200
+++ b/Admin/components/components.sha1	Sat Sep 02 12:12:32 2023 +0200
@@ -314,6 +314,7 @@
 48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz
 c66f5ce13d429ea9c8dcc0d33d34b7abf178da5d naproche-20221024.tar.gz
 8e6cb32312336abcfe488b718bdc621461a7f132 naproche-20230711.tar.gz
+3a310253f003f1759b575823f2a2e116ff6edeac naproche-20230902.tar.gz
 d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
 4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
 77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz