| changeset 3511 | da4dd8b7ced4 |
| parent 3454 | 40b1287347d7 |
| child 3535 | 19bd6c8274c4 |
| 3510:24d235feeb2a | 3511:da4dd8b7ced4 |
|---|---|
4 |
4 |
5 New in Isabelle???? (DATE ????) |
5 New in Isabelle???? (DATE ????) |
6 ------------------------------- |
6 ------------------------------- |
7 |
7 |
8 * removed old README and Makefiles; |
8 * removed old README and Makefiles; |
9 |
|
10 * removed obsolete init_pps and init_database; |
|
9 |
11 |
10 |
12 |
11 New in Isabelle94-8 (May 1997) |
13 New in Isabelle94-8 (May 1997) |
12 ------------------------------ |
14 ------------------------------ |
13 |
15 |