| Sat, 30 Dec 2006 16:08:06 +0100 |
wenzelm |
removed misleading OuterLex.eq_token;
|
changeset |
files
|
| Sat, 30 Dec 2006 16:08:05 +0100 |
wenzelm |
pretty_statement: more careful handling of name_hint;
|
changeset |
files
|
| Sat, 30 Dec 2006 16:08:04 +0100 |
wenzelm |
added has_name_hint;
|
changeset |
files
|
| Sat, 30 Dec 2006 16:08:03 +0100 |
wenzelm |
removed obsolete name_hint handling;
|
changeset |
files
|
| Sat, 30 Dec 2006 16:08:00 +0100 |
wenzelm |
removed conditional combinator;
|
changeset |
files
|
| Sat, 30 Dec 2006 12:41:59 +0100 |
wenzelm |
removed obsolete support for polyml-4.9.1;
|
changeset |
files
|
| Sat, 30 Dec 2006 12:38:51 +0100 |
wenzelm |
* Proof General: proper undo of final 'end'; discontinued Isabelle/classic;
|
changeset |
files
|
| Sat, 30 Dec 2006 12:33:29 +0100 |
wenzelm |
inform_file_processed: Toplevel.init_empty;
|
changeset |
files
|
| Sat, 30 Dec 2006 12:33:28 +0100 |
wenzelm |
refined notion of empty toplevel, admits undo of 'end';
|
changeset |
files
|
| Sat, 30 Dec 2006 12:33:27 +0100 |
wenzelm |
Toplevel.init_state;
|
changeset |
files
|
| Sat, 30 Dec 2006 12:33:26 +0100 |
wenzelm |
removed obsolete 'clear_undos';
|
changeset |
files
|
| Sat, 30 Dec 2006 12:33:25 +0100 |
wenzelm |
removed obsolete clear_undos_theory;
|
changeset |
files
|
| Fri, 29 Dec 2006 20:35:03 +0100 |
haftmann |
major restructurings
|
changeset |
files
|
| Fri, 29 Dec 2006 20:35:02 +0100 |
haftmann |
cleanup
|
changeset |
files
|
| Fri, 29 Dec 2006 20:34:18 +0100 |
haftmann |
improved print of constructors in OCaml
|
changeset |
files
|