# HG changeset patch # User wenzelm # Date 1693649552 -7200 # Node ID 93756069b86796652b0b328bdbeb696f553f803a # Parent 569135d7352a5d009ee4a59eff6e841571e6cbc7 updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy; diff -r 569135d7352a -r 93756069b867 Admin/components/bundled --- 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 diff -r 569135d7352a -r 93756069b867 Admin/components/components.sha1 --- 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