| Thu, 25 Aug 2011 11:15:31 +0200 |
boehmes |
avoid variable clashes by properly incrementing indices
|
changeset |
files
|
| Thu, 25 Aug 2011 11:15:31 +0200 |
boehmes |
improved completeness and efficiency of Z3 proof reconstruction, especially by an improved handling of Skolemization
|
changeset |
files
|
| Thu, 25 Aug 2011 00:00:36 +0200 |
blanchet |
include chained facts for minimizer, otherwise it won't work
|
changeset |
files
|
| Wed, 24 Aug 2011 22:12:30 +0200 |
blanchet |
remove Vampire imconplete proof detection -- the bug it was trying to work around has been fixed in version 1.8, and the check is too sensitive anyway
|
changeset |
files
|
| Fri, 26 Aug 2011 22:25:41 +0200 |
wenzelm |
back to tradition Scratch.thy default -- execution wrt. perspective overcomes the main problems of 226563829580;
|
changeset |
files
|
| Fri, 26 Aug 2011 22:14:12 +0200 |
wenzelm |
tuned Session.edit_node: update_perspective based on last_exec_offset;
|
changeset |
files
|
| Fri, 26 Aug 2011 21:27:58 +0200 |
wenzelm |
tuned signature -- iterate subsumes both fold and get_first;
|
changeset |
files
|
| Fri, 26 Aug 2011 21:18:42 +0200 |
wenzelm |
further clarification of Document.updated, based on last_common and after_entry;
|
changeset |
files
|
| Fri, 26 Aug 2011 16:06:58 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 26 Aug 2011 15:56:30 +0200 |
wenzelm |
improved Document.edit: more accurate update_start and no_execs;
|
changeset |
files
|
| Fri, 26 Aug 2011 15:09:54 +0200 |
wenzelm |
refined document state assignment: observe perspective, more explicit assignment message;
|
changeset |
files
|
| Thu, 25 Aug 2011 19:12:58 +0200 |
wenzelm |
tuned signature -- emphasize traditional read/eval/print terminology, which is still relevant here;
|
changeset |
files
|
| Thu, 25 Aug 2011 17:38:12 +0200 |
wenzelm |
maintain last_execs assignment on Scala side;
|
changeset |
files
|
| Thu, 25 Aug 2011 16:44:06 +0200 |
wenzelm |
propagate information about last command with exec state assignment through document model;
|
changeset |
files
|
| Thu, 25 Aug 2011 13:24:41 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|