| Fri, 17 Aug 2012 19:11:51 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 17 Aug 2012 11:32:20 +0200 |
nipkow |
merged
|
changeset |
files
|
| Fri, 17 Aug 2012 08:56:08 +0200 |
nipkow |
fixed lemmas
|
changeset |
files
|
| Thu, 16 Aug 2012 15:08:42 +0200 |
nipkow |
abstracted lemmas
|
changeset |
files
|
| Fri, 17 Aug 2012 19:08:55 +0200 |
wenzelm |
updated to new init_components, hoping that mira can digest that;
|
changeset |
files
|
| Fri, 17 Aug 2012 19:07:14 +0200 |
wenzelm |
some explanations on component categories;
|
changeset |
files
|
| Fri, 17 Aug 2012 18:04:49 +0200 |
wenzelm |
specific cygwin components;
|
changeset |
files
|
| Fri, 17 Aug 2012 17:37:27 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
| Fri, 17 Aug 2012 17:35:07 +0200 |
wenzelm |
some explanations on isabelle components;
|
changeset |
files
|
| Fri, 17 Aug 2012 17:52:10 +0200 |
wenzelm |
some grouping of components;
|
changeset |
files
|
| Fri, 17 Aug 2012 17:48:26 +0200 |
wenzelm |
renamed components to components_old, to make room for some directory of the same name;
|
changeset |
files
|
| Fri, 17 Aug 2012 15:05:57 +0200 |
wenzelm |
minor robustification;
|
changeset |
files
|
| Fri, 17 Aug 2012 14:56:37 +0200 |
wenzelm |
added "isabelle components" tool;
|
changeset |
files
|
| Fri, 17 Aug 2012 14:55:46 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Aug 2012 12:14:58 +0200 |
wenzelm |
direct support for component forests via init_components;
|
changeset |
files
|
| Fri, 17 Aug 2012 11:42:05 +0200 |
wenzelm |
allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
|
changeset |
files
|
| Fri, 17 Aug 2012 11:37:14 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Aug 2012 11:23:57 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 17 Aug 2012 11:20:18 +0200 |
wenzelm |
updated component repository;
|
changeset |
files
|
| Fri, 17 Aug 2012 11:18:26 +0200 |
wenzelm |
updates on 32 bit vs. 64 bit platforms;
|
changeset |
files
|
| Fri, 17 Aug 2012 10:46:42 +0200 |
wenzelm |
updated to jedit_build-20120813, pointing to another contrib directory as a change;
|
changeset |
files
|
| Thu, 16 Aug 2012 17:19:48 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 16 Aug 2012 17:16:20 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Thu, 16 Aug 2012 15:41:36 +0200 |
blanchet |
look in current directory first before looking up includes in the TPTP directory, as required by Geoff
|
changeset |
files
|
| Thu, 16 Aug 2012 14:07:32 +0200 |
haftmann |
prefer eta-expanded code equations for fold, to accomodate tail recursion optimisation in Scala
|
changeset |
files
|
| Thu, 16 Aug 2012 15:40:26 +0200 |
wenzelm |
more robust multi-platform support;
|
changeset |
files
|
| Thu, 16 Aug 2012 14:25:58 +0200 |
wenzelm |
updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6;
|
changeset |
files
|
| Thu, 16 Aug 2012 14:05:50 +0200 |
wenzelm |
support for jdk-7u6 component;
|
changeset |
files
|