| Sun, 14 Nov 2010 14:05:08 +0100 |
wenzelm |
clarified interact/print state: proof commands are treated as in TTY mode to get full response;
|
changeset |
files
|
| Sat, 13 Nov 2010 22:33:07 +0100 |
wenzelm |
somewhat adhoc replacement for 'thus' and 'hence';
|
changeset |
files
|
| Sat, 13 Nov 2010 21:46:24 +0100 |
wenzelm |
always print state of proof commands (notably "qed" etc.);
|
changeset |
files
|
| Sat, 13 Nov 2010 21:01:03 +0100 |
wenzelm |
simplified message: malformed symbols are fully internalized, i.e. can be printed without crashing;
|
changeset |
files
|
| Sat, 13 Nov 2010 20:49:02 +0100 |
wenzelm |
tuned message;
|
changeset |
files
|
| Sat, 13 Nov 2010 20:20:05 +0100 |
wenzelm |
proper escape in regex;
|
changeset |
files
|
| Sat, 13 Nov 2010 20:13:35 +0100 |
wenzelm |
report malformed symbols;
|
changeset |
files
|
| Sat, 13 Nov 2010 20:06:52 +0100 |
wenzelm |
qualified Symbol_Pos.symbol;
|
changeset |
files
|
| Sat, 13 Nov 2010 19:55:45 +0100 |
wenzelm |
total Symbol.source;
|
changeset |
files
|
| Sat, 13 Nov 2010 19:47:23 +0100 |
wenzelm |
eliminated slightly odd pervasive Symbol_Pos.symbol;
|
changeset |
files
|
| Sat, 13 Nov 2010 19:27:41 +0100 |
wenzelm |
treat Unicode "replacement character" (i.e. decoding error) is malformed;
|
changeset |
files
|
| Sat, 13 Nov 2010 19:21:53 +0100 |
wenzelm |
simplified/robustified treatment of malformed symbols, which are now fully internalized (total Symbol.explode etc.);
|
changeset |
files
|
| Sat, 13 Nov 2010 16:46:00 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sat, 13 Nov 2010 12:32:21 +0100 |
wenzelm |
back to quick_and_dirty, which is still practically important since the scheduler does not jump over subproofs;
|
changeset |
files
|