adbrucker
/
isabelle-hacks
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Update to Isabelle 2022.
ci/woodpecker/push/build Pipeline failed Details

This commit is contained in:
Achim D. Brucker 2022-10-29 21:08:03 +01:00
parent 50219d34cc
commit d536dcff8a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Code_Reflection.thy
View File

@ -44,7 +44,7 @@ ML\<open>
fun is_sml_file f = String.isSuffix ".ML" (Path.implode (#path f)) fun is_sml_file f = String.isSuffix ".ML" (Path.implode (#path f))
val files = (map (Generated_Files.check_files_in (Context.proof_of ctxt)) args) val files = (map (Generated_Files.check_files_in (Context.proof_of ctxt)) args)
val ml_files = filter is_sml_file (map #1 (maps Generated_Files.get_files_in files)) val ml_files = filter is_sml_file (map #1 (maps Generated_Files.get_files_in files))
val ml_content = map (fn f => Syntax.read_input (#content f)) ml_files val ml_content = map (fn f => Syntax.read_input (Bytes.content (#content f))) ml_files
fun eval ml_content = fold (fn sml => (ML_Context.exec fun eval ml_content = fold (fn sml => (ML_Context.exec
(fn () => ML_Context.eval_source ML_Compiler.flags sml))) (fn () => ML_Context.eval_source ML_Compiler.flags sml)))
ml_content ml_content

2
README.md
View File

@ -5,7 +5,7 @@ functionality to [Isabelle](https://isabelle.in.tum.de) or showcase
specific functionality. The individual hacks usually consist out of specific functionality. The individual hacks usually consist out of
a single theory file and all documentation is contained in that a single theory file and all documentation is contained in that
theory file. The master branch should work with the latest official theory file. The master branch should work with the latest official
release of Isabelle (Isabelle 2021-1, at time of writing), hacks for release of Isabelle (Isabelle 2022, at time of writing), hacks for
older versions might be available on a dedicated branch. older versions might be available on a dedicated branch.
## List of Isabelle Hacks ## List of Isabelle Hacks