| Wed, 30 May 2012 08:48:14 +0200 |
Andreas Lochbihler |
removed subscripts from FinFun type syntax
|
changeset |
files
|
| Wed, 30 May 2012 08:34:14 +0200 |
Andreas Lochbihler |
improve code setup for set equality
|
changeset |
files
|
| Tue, 29 May 2012 17:21:41 +0200 |
Andreas Lochbihler |
add code equation for coset xs = set ys
|
changeset |
files
|
| Tue, 29 May 2012 17:17:57 +0200 |
Andreas Lochbihler |
tuned proofs
|
changeset |
files
|
| Tue, 29 May 2012 16:41:00 +0200 |
Andreas Lochbihler |
use bundle in FinFun
|
changeset |
files
|
| Tue, 29 May 2012 16:08:12 +0200 |
Andreas Lochbihler |
unify Rep_finfun and finfun_apply
|
changeset |
files
|
| Tue, 29 May 2012 15:31:58 +0200 |
Andreas Lochbihler |
move FinFuns from AFP to repository
|
changeset |
files
|
| Wed, 30 May 2012 09:25:37 +0200 |
wenzelm |
discontinued unused unzip/untar;
|
changeset |
files
|
| Tue, 29 May 2012 23:19:37 +0200 |
wenzelm |
update GUI components after init;
|
changeset |
files
|
| Tue, 29 May 2012 22:44:02 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 29 May 2012 19:13:02 +0200 |
kuncar |
don't be so aggressive during unfolding id and o
|
changeset |
files
|
| Tue, 29 May 2012 17:06:04 +0200 |
huffman |
reordered sections
|
changeset |
files
|
| Tue, 29 May 2012 22:33:14 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Tue, 29 May 2012 22:24:31 +0200 |
wenzelm |
separate syslog dockable -- discontinued tendency of sub-window management via tabs;
|
changeset |
files
|
| Tue, 29 May 2012 21:48:05 +0200 |
wenzelm |
clarified prover startup: no timeout, read stderr more carefully;
|
changeset |
files
|
| Tue, 29 May 2012 21:03:11 +0200 |
wenzelm |
need to close_input before expecting threads to terminate/join;
|
changeset |
files
|
| Tue, 29 May 2012 20:38:40 +0200 |
wenzelm |
make double sure that GUI components are up-to-date after init;
|
changeset |
files
|
| Tue, 29 May 2012 20:20:32 +0200 |
wenzelm |
tuned message;
|
changeset |
files
|
| Tue, 29 May 2012 18:00:54 +0200 |
wenzelm |
more explicit treatment of return code vs. session phase;
|
changeset |
files
|
| Tue, 29 May 2012 17:54:34 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 29 May 2012 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
changeset |
files
|
| Tue, 29 May 2012 13:46:50 +0200 |
bulwahn |
added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
|
changeset |
files
|
| Tue, 29 May 2012 11:41:37 +0200 |
huffman |
shortened yet more multiset proofs;
|
changeset |
files
|
| Tue, 29 May 2012 11:30:13 +0200 |
huffman |
remove unused intermediate lemma
|
changeset |
files
|
| Tue, 29 May 2012 11:13:00 +0200 |
huffman |
shortened more multiset proofs
|
changeset |
files
|
| Tue, 29 May 2012 10:30:47 +0200 |
huffman |
shortened some proofs
|
changeset |
files
|
| Tue, 29 May 2012 10:08:31 +0200 |
huffman |
use transfer method for instance proof
|
changeset |
files
|
| Mon, 28 May 2012 20:51:23 +0200 |
blanchet |
tweaked remote Vampire setup
|
changeset |
files
|
| Mon, 28 May 2012 20:50:55 +0200 |
blanchet |
update docs
|
changeset |
files
|
| Mon, 28 May 2012 20:45:28 +0200 |
blanchet |
killed SPASS 3.5/3.7 FLOTTER hack -- requires users to upgrade to SPASS 3.8
|
changeset |
files
|