| Fri, 14 Dec 2012 16:45:41 +0100 |
wenzelm |
clarified "isabelle options" command line, to make it more close to "isabelle components";
|
changeset |
files
|
| Fri, 14 Dec 2012 16:33:22 +0100 |
wenzelm |
updated some headers;
|
changeset |
files
|
| Fri, 14 Dec 2012 16:24:12 +0100 |
wenzelm |
clarified README;
|
changeset |
files
|
| Fri, 14 Dec 2012 16:21:47 +0100 |
wenzelm |
more formal components_checksum tool;
|
changeset |
files
|
| Fri, 14 Dec 2012 16:02:31 +0100 |
wenzelm |
just one Admin/components/ directory;
|
changeset |
files
|
| Fri, 14 Dec 2012 15:46:01 +0100 |
hoelzl |
Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors
|
changeset |
files
|
| Fri, 14 Dec 2012 14:46:01 +0100 |
hoelzl |
NEWS
|
changeset |
files
|
| Fri, 14 Dec 2012 12:40:07 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 13 Dec 2012 23:47:01 +0100 |
blanchet |
get rid of some junk facts in the MaSh evaluation driver
|
changeset |
files
|
| Thu, 13 Dec 2012 23:22:10 +0100 |
blanchet |
generate original name as a comment in SPASS problems as well
|
changeset |
files
|
| Thu, 13 Dec 2012 22:49:08 +0100 |
blanchet |
generate comments with original names for debugging
|
changeset |
files
|
| Thu, 13 Dec 2012 22:49:07 +0100 |
blanchet |
use MaSh nicknames in ATP problem files to facilitate gathering of statistics
|
changeset |
files
|