Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added ML antiquotation @{master_dir};
  2. tuned signature;
  3. more formal references;
  4. more Haskell antiquotations;
  5. more Haskell operations;
  6. support for user-defined Isabelle/Scala command-line tools; misc tuning and clarification;
  7. replaced some ancient ASCII syntax
  8. clarified status of legacy input abbreviations
  9. clarified status of ancient ASCII syntax for big union and inter
Changeset 69282:94fa3376ba33 by wenzelm:
added ML antiquotation @{master_dir};
The file was modified NEWS (diff)
The file was modified src/Doc/Tutorial/ToyList/ToyList_Test.thy (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Tools/Haskell/haskell.ML (diff)
Changeset 69281:599b6d0d199b by wenzelm:
tuned signature;
The file was modified src/Pure/ML/ml_syntax.ML (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 69280:e1d01b351724 by wenzelm:
more formal references;
The file was modified src/Tools/Haskell/Buffer.hs (diff)
The file was modified src/Tools/Haskell/File.hs (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Library.hs (diff)
The file was modified src/Tools/Haskell/Markup.hs (diff)
The file was modified src/Tools/Haskell/Pretty.hs (diff)
The file was modified src/Tools/Haskell/Properties.hs (diff)
The file was modified src/Tools/Haskell/Term.hs (diff)
The file was modified src/Tools/Haskell/Term_XML/Decode.hs (diff)
The file was modified src/Tools/Haskell/Term_XML/Encode.hs (diff)
The file was modified src/Tools/Haskell/Value.hs (diff)
The file was modified src/Tools/Haskell/XML.hs (diff)
The file was modified src/Tools/Haskell/XML/Decode.hs (diff)
The file was modified src/Tools/Haskell/XML/Encode.hs (diff)
The file was modified src/Tools/Haskell/YXML.hs (diff)
Changeset 69279:e6997512ef6c by wenzelm:
more Haskell antiquotations;
The file was modified src/Pure/Tools/ghc.ML (diff)
Changeset 69278:30f6e8d2cd96 by wenzelm:
more Haskell operations;
The file was addedsrc/Tools/Haskell/File.hs
The file was modified src/Tools/Haskell/Haskell.thy (diff)
Changeset 69277:258bef08b31e by wenzelm:
support for user-defined Isabelle/Scala command-line tools;<br>misc tuning and clarification;
The file was modified NEWS (diff)
The file was modified etc/settings (diff)
The file was modified lib/scripts/getfunctions (diff)
The file was modified src/Pure/Admin/build_cygwin.scala (diff)
The file was modified src/Pure/Admin/build_doc.scala (diff)
The file was modified src/Pure/Admin/build_jdk.scala (diff)
The file was modified src/Pure/Admin/build_polyml.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Admin/check_sources.scala (diff)
The file was modified src/Pure/Admin/remote_dmg.scala (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/file_format.scala (diff)
The file was modified src/Tools/VSCode/src/build_vscode.scala (diff)
Changeset 69276:3d954183b707 by haftmann:
replaced some ancient ASCII syntax
The file was modified src/HOL/BNF_Cardinal_Arithmetic.thy (diff)
The file was modified src/HOL/BNF_Cardinal_Order_Relation.thy (diff)
The file was modified src/HOL/Lattices_Big.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Transitive_Closure.thy (diff)
Changeset 69275:9bbd5497befd by haftmann:
clarified status of legacy input abbreviations
The file was modified src/HOL/Complete_Lattices.thy (diff)
The file was modified src/HOL/Conditionally_Complete_Lattices.thy (diff)
The file was modified src/HOL/Enum.thy (diff)
The file was modified src/HOL/Filter.thy (diff)
The file was modified src/HOL/Finite_Set.thy (diff)
The file was modified src/HOL/Groups_Big.thy (diff)
The file was modified src/HOL/Hilbert_Choice.thy (diff)
The file was modified src/HOL/Lifting_Set.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Main.thy (diff)
The file was modified src/HOL/Option.thy (diff)
The file was modified src/HOL/Predicate.thy (diff)
The file was modified src/HOL/Product_Type.thy (diff)
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)
Changeset 69274:ff7e6751a1a7 by haftmann:
clarified status of ancient ASCII syntax for big union and inter
The file was modified src/HOL/Complete_Lattices.thy (diff)