equal
deleted
inserted
replaced
12 * Updated and extended "isar-ref" manual, reduced remaining material |
12 * Updated and extended "isar-ref" manual, reduced remaining material |
13 in old "ref" manual. |
13 in old "ref" manual. |
14 |
14 |
15 |
15 |
16 *** Pure *** |
16 *** Pure *** |
|
17 |
|
18 * Code generation for Haskell: restrict unqualified imports from |
|
19 Haskell Prelude to a small set of fundamental operations. |
17 |
20 |
18 * Command "export_code": relative file names are interpreted |
21 * Command "export_code": relative file names are interpreted |
19 relatively to master directory of current theory rather than |
22 relatively to master directory of current theory rather than |
20 the rather arbitrary current working directory. |
23 the rather arbitrary current working directory. |
21 INCOMPATIBILITY. |
24 INCOMPATIBILITY. |