Changes

Summary

more Haskell operations;
tuned signature;
clarified signature;
more Haskell operations; more accurate exports; tuned;
proper export;

Changeset 69291:36d711008292 by wenzelm: more Haskell operations;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
The file was modified	`src/Tools/Haskell/Markup.hs` (diff)
Changeset 69290:fb77612d11eb by wenzelm: tuned signature;
The file was modified	`src/Tools/Haskell/Completion.hs` (diff)
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
The file was modified	`src/Tools/Haskell/Pretty.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 69289:bf6937af7fe8 by wenzelm: clarified signature;
The file was modified	`src/Pure/General/completion.ML` (diff)
The file was modified	`src/Pure/General/name_space.ML` (diff)
The file was modified	`src/Pure/Isar/outer_syntax.ML` (diff)
The file was modified	`src/Pure/Isar/proof_context.ML` (diff)
The file was modified	`src/Pure/PIDE/resources.ML` (diff)
The file was modified	`src/Pure/Tools/jedit.ML` (diff)
The file was modified	`src/Pure/Tools/named_theorems.ML` (diff)
The file was modified	`src/Pure/theory.ML` (diff)
The file was modified	`src/Tools/Haskell/Completion.hs` (diff)
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
Changeset 69288:4c3704ecb0e6 by wenzelm: more Haskell operations;<br>more accurate exports;<br>tuned;
The file was added	`src/Tools/Haskell/Completion.hs`
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/haskell.ML` (diff)
Changeset 69287:0fde0dca6744 by wenzelm: proper export;
The file was modified	`src/Tools/Haskell/Haskell.thy` (diff)
The file was modified	`src/Tools/Haskell/XML/Encode.hs` (diff)