| Mon, 15 Nov 2010 17:14:43 +0100 |
wenzelm |
more robust treatment of spaces in file names;
|
changeset |
files
|
| Mon, 15 Nov 2010 15:41:58 +0100 |
wenzelm |
tuned error messages;
|
changeset |
files
|
| Mon, 15 Nov 2010 14:59:53 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 15 Nov 2010 14:59:21 +0100 |
haftmann |
re-generalized type of option_rel and sum_rel (accident from 2989f9f3aa10)
|
changeset |
files
|
| Mon, 15 Nov 2010 14:14:38 +0100 |
haftmann |
re-generalized type of prod_rel (accident from 2989f9f3aa10)
|
changeset |
files
|
| Mon, 15 Nov 2010 00:20:36 +0100 |
boehmes |
formal dependency on b2i files
|
changeset |
files
|
| Sun, 14 Nov 2010 23:55:25 +0100 |
boehmes |
merged
|
changeset |
files
|
| Fri, 12 Nov 2010 17:28:43 +0100 |
boehmes |
check the return code of the SMT solver and raise an exception if the prover failed
|
changeset |
files
|
| Sun, 14 Nov 2010 17:33:28 +0100 |
wenzelm |
updated README;
|
changeset |
files
|
| Sun, 14 Nov 2010 15:25:01 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Sun, 14 Nov 2010 15:21:49 +0100 |
wenzelm |
cover 'write' as primitive proof command;
|
changeset |
files
|
| 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
|