| Wed, 04 Apr 2007 00:11:20 +0200 |
wenzelm |
renamed Output.has_mode to print_mode_active;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:18 +0200 |
wenzelm |
tuned comment;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:17 +0200 |
wenzelm |
cleaned-up Output functions;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:16 +0200 |
wenzelm |
improved exception CTERM;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:14 +0200 |
wenzelm |
added scanwords from library.ML (for obsolete rename_tac);
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:13 +0200 |
wenzelm |
removed obsolete scanwords (see obsolete tactic.ML:rename_tac for its only use);
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:12 +0200 |
wenzelm |
removed dead code;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:10 +0200 |
wenzelm |
cleaned-up Output functions;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:08 +0200 |
wenzelm |
eliminated obsolete rename_tac;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:11:03 +0200 |
wenzelm |
removed obsolete sign_of/sign_of_thm;
|
changeset |
files
|
| Wed, 04 Apr 2007 00:10:59 +0200 |
wenzelm |
ML antiquotes;
|
changeset |
files
|
| Tue, 03 Apr 2007 19:31:48 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Tue, 03 Apr 2007 19:24:22 +0200 |
wenzelm |
fixed chr/explode;
|
changeset |
files
|
| Tue, 03 Apr 2007 19:24:21 +0200 |
wenzelm |
avoid overloaded integer constants (accomodate Alice);
|
changeset |
files
|
| Tue, 03 Apr 2007 19:24:19 +0200 |
wenzelm |
avoid clash with Alice keywords;
|
changeset |
files
|