src/Tools/Haskell/XML.hs
7 months ago wenzelm 2018-11-05 tuned;
7 months ago wenzelm 2018-11-04 more Haskell operations;
7 months ago wenzelm 2018-11-03 tuned message (e.g. see Options.save_prefs);
7 months ago wenzelm 2018-11-03 tuned whitespace;
7 months ago wenzelm 2018-11-03 support for Isabelle tools in Haskell;