equal
deleted
inserted
replaced
7 |
7 |
8 *** General Changes *** |
8 *** General Changes *** |
9 |
9 |
10 * new utilities to build / run / maintain Isabelle etc. (in parts |
10 * new utilities to build / run / maintain Isabelle etc. (in parts |
11 still somewhat experimental); old Makefiles etc. still functional; |
11 still somewhat experimental); old Makefiles etc. still functional; |
|
12 |
|
13 * new 'Isabelle System Manual'; |
12 |
14 |
13 * INSTALL text, together with ./configure and ./build scripts; |
15 * INSTALL text, together with ./configure and ./build scripts; |
14 |
16 |
15 * reimplemented type inference for greater efficiency, better error |
17 * reimplemented type inference for greater efficiency, better error |
16 messages and clean internal interface; |
18 messages and clean internal interface; |