equal
deleted
inserted
replaced
79 * new theory section 'nonterminals' for purely syntactic types; |
79 * new theory section 'nonterminals' for purely syntactic types; |
80 |
80 |
81 * new theory section 'setup' for generic ML setup functions |
81 * new theory section 'setup' for generic ML setup functions |
82 (e.g. package initialization); |
82 (e.g. package initialization); |
83 |
83 |
|
84 * the distribution now includes Isabelle icons: see |
|
85 lib/logo/isabelle-{small,tiny}.xpm; |
|
86 |
84 |
87 |
85 *** HOL *** |
88 *** HOL *** |
86 |
89 |
87 * reorganized the main HOL image: HOL/Integ and String loaded by |
90 * reorganized the main HOL image: HOL/Integ and String loaded by |
88 default; theory Main includes everything; |
91 default; theory Main includes everything; |