Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more general command 'generate_file' for registered file types, notably Haskell; discontinued 'generate_haskell_file', 'export_haskell_file'; eliminated generated sources: compile files in tmp dir;
  2. tuned imports;
  3. more robust: avoid broken tar.gz;
  4. more Isabelle fonts;
  5. use Isabelle fonts for all GUI look-and-feels;
  6. tuned;
  7. use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);
Changeset 69381:4c9b4e2c5460 by wenzelm:
more general command &#039;generate_file&#039; for registered file types, notably Haskell;<br>discontinued &#039;generate_haskell_file&#039;, &#039;export_haskell_file&#039;;<br>eliminated generated sources: compile files in tmp dir;
The file was addedsrc/Pure/Tools/generate_file.ML
The file was modified NEWS (diff)
The file was modified src/Pure/General/path.ML (diff)
The file was modified src/Pure/PIDE/markup.ML (diff)
The file was modified src/Pure/Pure.thy (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/Tools/ghc.ML (diff)
The file was modified src/Tools/Haskell/Haskell.thy (diff)
The file was modified src/Tools/Haskell/Test.thy (diff)
The file was removedsrc/Tools/Haskell/Buffer.hs
The file was removedsrc/Tools/Haskell/Completion.hs
The file was removedsrc/Tools/Haskell/File.hs
The file was removedsrc/Tools/Haskell/Library.hs
The file was removedsrc/Tools/Haskell/Markup.hs
The file was removedsrc/Tools/Haskell/Pretty.hs
The file was removedsrc/Tools/Haskell/Properties.hs
The file was removedsrc/Tools/Haskell/Term.hs
The file was removedsrc/Tools/Haskell/Term_XML/Decode.hs
The file was removedsrc/Tools/Haskell/Term_XML/Encode.hs
The file was removedsrc/Tools/Haskell/Value.hs
The file was removedsrc/Tools/Haskell/XML.hs
The file was removedsrc/Tools/Haskell/XML/Decode.hs
The file was removedsrc/Tools/Haskell/XML/Encode.hs
The file was removedsrc/Tools/Haskell/YXML.hs
The file was removedsrc/Tools/Haskell/haskell.ML
Changeset 69380:87644f76c997 by wenzelm:
tuned imports;
The file was modified src/Tools/jEdit/src/jedit_lib.scala (diff)
Changeset 69379:5082e843b726 by wenzelm:
more robust: avoid broken tar.gz;
The file was modified lib/Tools/components (diff)
Changeset 69378:429426640596 by wenzelm:
more Isabelle fonts;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 69377:81ae5893c556 by wenzelm:
use Isabelle fonts for all GUI look-and-feels;
The file was modified NEWS (diff)
The file was modified src/Pure/GUI/gui.scala (diff)
The file was modified src/Tools/jEdit/src/isabelle_sidekick.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 69376:53194e2a969d by wenzelm:
tuned;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 69375:f8a1f1d7dd62 by wenzelm:
use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);
The file was modified Admin/Release/CHECKLIST (diff)
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)