| 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
|
| Fri, 29 Dec 2006 20:34:17 +0100 |
haftmann |
changed syntax for axclass attach
|
changeset |
files
|
| Fri, 29 Dec 2006 19:50:52 +0100 |
wenzelm |
removed obsolete cond_add_path;
|
changeset |
files
|
| Fri, 29 Dec 2006 19:50:51 +0100 |
wenzelm |
removed obsolete context_thy etc.;
|
changeset |
files
|
| Fri, 29 Dec 2006 19:50:50 +0100 |
wenzelm |
removed obsolete init_pgip;
|
changeset |
files
|
| Fri, 29 Dec 2006 19:50:48 +0100 |
wenzelm |
removed obsolete init_context;
|
changeset |
files
|
| Fri, 29 Dec 2006 18:47:11 +0100 |
wenzelm |
obsolete (cf. ProofGeneral/proof_general_emacs.ML);
|
changeset |
files
|
| Fri, 29 Dec 2006 18:46:06 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 29 Dec 2006 18:46:04 +0100 |
wenzelm |
signed_string_of_int;
|
changeset |
files
|
| Fri, 29 Dec 2006 18:46:04 +0100 |
wenzelm |
added proper header;
|
changeset |
files
|
| Fri, 29 Dec 2006 18:46:02 +0100 |
wenzelm |
added signed_string_of_int (pruduces proper - instead of SML's ~);
|
changeset |
files
|
| Fri, 29 Dec 2006 18:46:01 +0100 |
wenzelm |
removed obsolete proof_general.ML;
|
changeset |
files
|
| Fri, 29 Dec 2006 18:25:46 +0100 |
wenzelm |
minor tuning;
|
changeset |
files
|
| Fri, 29 Dec 2006 18:25:45 +0100 |
wenzelm |
tuned specifications/proofs;
|
changeset |
files
|
| Fri, 29 Dec 2006 17:24:49 +0100 |
wenzelm |
replaced Sign.classes by Sign.all_classes (topologically sorted);
|
changeset |
files
|
| Fri, 29 Dec 2006 17:24:49 +0100 |
wenzelm |
renamed Graph.project to Graph.subgraph;
|
changeset |
files
|
| Fri, 29 Dec 2006 17:24:47 +0100 |
wenzelm |
replaced Sign.classes by Sign.all_classes (topologically sorted);
|
changeset |
files
|
| Fri, 29 Dec 2006 17:24:46 +0100 |
wenzelm |
renamed project to subgraph, improved presentation, avoided unnecessary evaluation of predicate;
|
changeset |
files
|
| Fri, 29 Dec 2006 17:24:45 +0100 |
wenzelm |
Sorts.minimal_classes;
|
changeset |
files
|
| Fri, 29 Dec 2006 17:24:44 +0100 |
wenzelm |
classes: more direct way to achieve topological sorting;
|
changeset |
files
|