| Mon, 02 May 2011 22:52:15 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Mon, 02 May 2011 22:52:15 +0200 |
blanchet |
recognize simplification rules even if they look a bit different from the theorems in the theories (meta equality, variable numbers)
|
changeset |
files
|
| Mon, 02 May 2011 22:52:15 +0200 |
blanchet |
generate tags for simps, intros, and elims in TPTP poblems on demand
|
changeset |
files
|
| Mon, 02 May 2011 22:52:15 +0200 |
blanchet |
proper default for TPTP source filed
|
changeset |
files
|
| Mon, 02 May 2011 22:52:15 +0200 |
blanchet |
have each ATP filter out dangerous facts for themselves, based on their type system
|
changeset |
files
|
| Mon, 02 May 2011 22:31:46 +0200 |
wenzelm |
eliminated old CVS Ids;
|
changeset |
files
|
| Mon, 02 May 2011 22:19:28 +0200 |
wenzelm |
no use of package rail;
|
changeset |
files
|
| Mon, 02 May 2011 22:06:49 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Mon, 02 May 2011 22:05:47 +0200 |
wenzelm |
removed rail garbage;
|
changeset |
files
|
| Mon, 02 May 2011 22:03:18 +0200 |
wenzelm |
NEWS;
|
changeset |
files
|
| Mon, 02 May 2011 22:00:38 +0200 |
wenzelm |
just one railsetup.sty which is shipped with the official distribution to accompany @{rail} in Pure;
|
changeset |
files
|
| Mon, 02 May 2011 21:59:47 +0200 |
wenzelm |
proper treatment of underscore in rail diagrams;
|
changeset |
files
|
| Mon, 02 May 2011 21:46:54 +0200 |
wenzelm |
simplified rail setup, using plain defaults (NB: \small is incompatible with \isabellestyle used here);
|
changeset |
files
|
| Mon, 02 May 2011 21:42:36 +0200 |
wenzelm |
eliminated external rail executable;
|
changeset |
files
|