Changes

Summary

NEWS;
merged
tuned whitespace;
tuned message (e.g. see Options.save_prefs);
tuned whitespace;
support for Isabelle tools in Haskell;
tuned comments;
more operations;
support for Isabelle tool development in Haskell;

Changeset 69230:07fc77bf5eb6 by wenzelm: NEWS;
The file was modified	`NEWS` (diff)
Changeset 69229:043cbeb0b1cf by wenzelm: merged
Changeset 69228:f4263f7ec9a4 by wenzelm: tuned whitespace;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
The file was modified	`src/Tools/Haskell/YXML.hs` (diff)
Changeset 69227:71b48b749836 by wenzelm: tuned message (e.g. see Options.save_prefs);
The file was modified	`src/Tools/Haskell/Buffer.hs` (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/Properties.hs` (diff)
The file was modified	`src/Tools/Haskell/XML.hs` (diff)
The file was modified	`src/Tools/Haskell/YXML.hs` (diff)
The file was modified	`src/Tools/Haskell/haskell.ML` (diff)
Changeset 69226:68f5dc2275ac by wenzelm: tuned whitespace;
The file was modified	`src/Tools/Haskell/Buffer.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/Properties.hs` (diff)
The file was modified	`src/Tools/Haskell/XML.hs` (diff)
The file was modified	`src/Tools/Haskell/YXML.hs` (diff)
Changeset 69225:bf2fecda8383 by wenzelm: support for Isabelle tools in Haskell;
The file was added	`src/Tools/Haskell/Buffer.hs`
The file was added	`src/Tools/Haskell/Build.thy`
The file was added	`src/Tools/Haskell/Library.hs`
The file was added	`src/Tools/Haskell/Markup.hs`
The file was added	`src/Tools/Haskell/Properties.hs`
The file was added	`src/Tools/Haskell/XML.hs`
The file was added	`src/Tools/Haskell/YXML.hs`
The file was added	`src/Tools/Haskell/haskell.ML`
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
The file was modified	`src/Tools/ROOT` (diff)
Changeset 69224:fe9d746b273e by wenzelm: tuned comments;
The file was modified	`src/Pure/PIDE/xml.ML` (diff)
Changeset 69223:44d68a00917c by wenzelm: more operations;
The file was modified	`src/Pure/General/file.ML` (diff)
Changeset 69222:8365124a86ae by wenzelm: support for Isabelle tool development in Haskell;
The file was added	`src/Tools/Haskell/Haskell.thy`
The file was modified	`src/Tools/ROOT` (diff)