| Mon, 16 Apr 2012 19:38:48 +0200 |
wenzelm |
repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
|
file |
diff |
annotate
|
| Mon, 16 Apr 2012 19:01:57 +0200 |
nipkow |
merged
|
file |
diff |
annotate
|
| Wed, 04 Apr 2012 09:59:49 +0200 |
nipkow |
refined new tutorial announcement
|
file |
diff |
annotate
|
| Sun, 15 Apr 2012 14:50:09 +0200 |
wenzelm |
some coverage of bundled declarations;
|
file |
diff |
annotate
|
| Sun, 15 Apr 2012 13:15:14 +0200 |
wenzelm |
some coverage of unnamed contexts, which can be nested within other targets;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 13:05:59 +0200 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 12:51:38 +0200 |
wenzelm |
revert changes of already published NEWS;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 12:46:45 +0200 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 12:36:11 +0200 |
wenzelm |
more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 13:30:27 +0200 |
Andreas Lochbihler |
Automated merge with ssh://macbroy25.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 13:29:55 +0200 |
Andreas Lochbihler |
NEWS
|
file |
diff |
annotate
|
| Fri, 13 Apr 2012 09:17:01 +0200 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
| Wed, 11 Apr 2012 21:40:46 +0200 |
wenzelm |
rule composition via attribute "OF" (or ML functions OF/MRS) is more tolerant against multiple unifiers;
|
file |
diff |
annotate
|
| Tue, 10 Apr 2012 11:42:15 +0200 |
wenzelm |
some coverage of HOL/TPTP;
|
file |
diff |
annotate
|
| Fri, 06 Apr 2012 19:23:51 +0200 |
haftmann |
abandoned almost redundant *_foldr lemmas
|
file |
diff |
annotate
|