Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/proof_context.ML
changeset 77889 5db014c36f42
parent 77723 b761c91c2447
child 77970 31ea5c1f874d 
--- a/src/Pure/Isar/proof_context.ML	Wed Apr 19 23:27:55 2023 +0200
+++ b/src/Pure/Isar/proof_context.ML	Thu Apr 20 11:57:34 2023 +0200
@@ -10,7 +10,7 @@
 sig
   val theory_of: Proof.context -> theory
   val init_global: theory -> Proof.context
-  val get_global: theory -> string -> Proof.context
+  val get_global: {long: bool} -> theory -> string -> Proof.context
   type mode
   val mode_default: mode
   val mode_pattern: mode
isabelle