--- a/.hgtags Mon Oct 24 15:58:06 2022 +0100
+++ b/.hgtags Tue Oct 25 15:11:18 2022 +0200
@@ -44,3 +44,4 @@
778152d51e972d21bad5383afb4685efb793f574 Isabelle2022-RC2
d704efeb01dbdc86029180cc0c5e0f8d9e699128 Isabelle2022-RC3
8b4108f41c777d6465683cdffcabdeb6c4ba6b3d Isabelle2022-RC4
+1ac2416e843293bc6917ba965f54b42962514b7f Isabelle2022
--- a/Admin/Release/CHECKLIST Mon Oct 24 15:58:06 2022 +0100
+++ b/Admin/Release/CHECKLIST Tue Oct 25 15:11:18 2022 +0200
@@ -73,13 +73,13 @@
- regular packaging:
#on fast Linux machine, with access to Linux + Windows build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux,windows -l
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux,windows -l
#with access Apple ARM build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p macos
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p macos
#with access Linux ARM build_host
- Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221018.tar.gz -p linux_arm
+ Admin/build_release -D ~/tmp/isadist -b HOL -R Isabelle2022 -c .../naproche-20221024.tar.gz -p linux_arm
- Docker image:
--- a/Admin/components/components.sha1 Mon Oct 24 15:58:06 2022 +0100
+++ b/Admin/components/components.sha1 Tue Oct 25 15:11:18 2022 +0200
@@ -296,6 +296,7 @@
c695a038197477b69180917ee17ec2d92142e8f2 naproche-20220917.tar.gz
0b5a3161a18045540ab618249ba85a464c1fce66 naproche-20221002.tar.gz
48e9d4cbf95626c8e3013bee86ff82e67df6cefd naproche-20221018.tar.gz
+c66f5ce13d429ea9c8dcc0d33d34b7abf178da5d naproche-20221024.tar.gz
d098dd0873b1720a77dc4e060267f9a6c93f341a naproche-2d99afe5c349.tar.gz
4a4e56fd03b7ba4edd38046f853873a90cf55d1a naproche-4ad61140062f.tar.gz
77252e0b40f89825b9b5935f9f0c4cd5d4e7012a naproche-6d0d76ce2f2a.tar.gz
--- a/src/Pure/Thy/document_build.scala Mon Oct 24 15:58:06 2022 +0100
+++ b/src/Pure/Thy/document_build.scala Tue Oct 25 15:11:18 2022 +0200
@@ -124,7 +124,7 @@
): Context = new Context(session_context, document_session, progress)
final class Context private[Document_Build](
- session_context: Export.Session_Context,
+ val session_context: Export.Session_Context,
document_session: Option[Sessions.Base],
val progress: Progress = new Progress
) {
--- a/src/Pure/Thy/latex.ML Mon Oct 24 15:58:06 2022 +0100
+++ b/src/Pure/Thy/latex.ML Tue Oct 25 15:11:18 2022 +0200
@@ -14,6 +14,7 @@
val macro0: string -> text
val macro: string -> text -> text
val environment: string -> text -> text
+ val output_name: string -> string
val output_ascii: string -> string
val output_ascii_breakable: string -> string -> string
val output_symbols: Symbol.symbol list -> string