| Wed, 02 May 2012 20:43:57 +0200 |
some re-ordering;
|
file | diff | annotate |
| Wed, 02 May 2012 20:31:15 +0200 |
some re-ordering;
|
file | diff | annotate |
| Wed, 02 May 2012 20:15:31 +0200 |
tuned spelling;
|
file | diff | annotate |
| Wed, 02 May 2012 17:23:41 +0200 |
edit NEWS items for transfer/lifting
|
file | diff | annotate |
| Mon, 30 Apr 2012 22:18:39 +1000 |
provide [[record_codegen]] option for skipping codegen setup for records
|
file | diff | annotate |
| Sat, 28 Apr 2012 18:09:50 +0200 |
some re-ordering;
|
file | diff | annotate |
| Sat, 28 Apr 2012 17:54:50 +0200 |
updated system manual for release;
|
file | diff | annotate |
| Sat, 28 Apr 2012 10:03:46 +0200 |
less confusion in NEWS
|
file | diff | annotate |
| Fri, 27 Apr 2012 21:24:30 +0200 |
mention tools and packages earlier;
|
file | diff | annotate |
| Fri, 27 Apr 2012 21:13:55 +0200 |
tuned;
|
file | diff | annotate |
| Fri, 27 Apr 2012 21:02:34 +0200 |
tuned;
|
file | diff | annotate |
| Wed, 25 Apr 2012 14:28:13 +0200 |
sorted lemma list in NEWS
|
file | diff | annotate |
| Mon, 23 Apr 2012 22:22:57 +0200 |
merged
|
file | diff | annotate |
| Mon, 23 Apr 2012 21:53:43 +0200 |
typedef with implicit set definition is considered legacy;
|
file | diff | annotate |
| Mon, 23 Apr 2012 21:31:52 +0200 |
NEWS
|
file | diff | annotate |
| Mon, 23 Apr 2012 12:14:35 +0200 |
reworked Probability theory
|
file | diff | annotate |
| Sun, 22 Apr 2012 16:33:41 +0200 |
merged
|
file | diff | annotate |
| Sun, 22 Apr 2012 14:30:18 +0200 |
USER_HOME settings variable points to cross-platform user home directory;
|
file | diff | annotate |
| Sun, 22 Apr 2012 14:16:46 +0200 |
fixed typos
|
file | diff | annotate |
| Sat, 21 Apr 2012 21:38:08 +0200 |
update NEWS for transfer/quotient
|
file | diff | annotate |
| Sat, 21 Apr 2012 13:54:29 +0200 |
NEWS for transfer, lifting, and quotient
|
file | diff | annotate |
| Fri, 20 Apr 2012 11:17:01 +0200 |
NEWS
|
file | diff | annotate |
| Thu, 19 Apr 2012 23:18:47 +0200 |
merged
|
file | diff | annotate |
| Thu, 19 Apr 2012 15:02:13 +0200 |
more robust Sledgehammer in Prover IDE;
|
file | diff | annotate |
| Thu, 19 Apr 2012 22:21:15 +0200 |
NEWS
|
file | diff | annotate |
| Tue, 17 Apr 2012 16:21:47 +1000 |
New tactic "word_bitwise" expands word equalities/inequalities into logic.
|
file | diff | annotate |
| Wed, 18 Apr 2012 22:40:25 +0200 |
Sledgehammer NEWS and CONTRIBUTORS
|
file | diff | annotate |
| Wed, 18 Apr 2012 20:48:15 +0200 |
dropped errorneous NEWS entry
|
file | diff | annotate |
| Wed, 18 Apr 2012 20:47:21 +0200 |
consolidated NEWS entries on fold
|
file | diff | annotate |
| Wed, 18 Apr 2012 20:45:48 +0200 |
grouped fold-related NEWS entries together
|
file | diff | annotate |
| Wed, 18 Apr 2012 20:40:52 +0200 |
grouped NEWS concerning relations together
|
file | diff | annotate |
| Wed, 18 Apr 2012 20:38:15 +0200 |
merged rename traces
|
file | diff | annotate |
| Mon, 16 Apr 2012 19:38:48 +0200 |
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 |
merged
|
file | diff | annotate |
| Wed, 04 Apr 2012 09:59:49 +0200 |
refined new tutorial announcement
|
file | diff | annotate |
| Sun, 15 Apr 2012 14:50:09 +0200 |
some coverage of bundled declarations;
|
file | diff | annotate |
| Sun, 15 Apr 2012 13:15:14 +0200 |
some coverage of unnamed contexts, which can be nested within other targets;
|
file | diff | annotate |
| Sat, 14 Apr 2012 13:05:59 +0200 |
misc tuning for release;
|
file | diff | annotate |
| Sat, 14 Apr 2012 12:51:38 +0200 |
revert changes of already published NEWS;
|
file | diff | annotate |
| Sat, 14 Apr 2012 12:46:45 +0200 |
some updates for release;
|
file | diff | annotate |
| Sat, 14 Apr 2012 12:36:11 +0200 |
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 |
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 |
NEWS
|
file | diff | annotate |
| Fri, 13 Apr 2012 09:17:01 +0200 |
NEWS
|
file | diff | annotate |
| Wed, 11 Apr 2012 21:40:46 +0200 |
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 |
some coverage of HOL/TPTP;
|
file | diff | annotate |
| Fri, 06 Apr 2012 19:23:51 +0200 |
abandoned almost redundant *_foldr lemmas
|
file | diff | annotate |
| Fri, 06 Apr 2012 18:17:16 +0200 |
no preference wrt. fold(l/r); prefer fold rather than foldr for iterating over lists in generated code
|
file | diff | annotate |
| Wed, 04 Apr 2012 14:08:24 +0200 |
documenting options quickcheck_locale; adjusting IsarRef documentation of Quotient predicate; NEWS
|
file | diff | annotate |
| Mon, 02 Apr 2012 13:47:00 +0200 |
new tutorial
|
file | diff | annotate |
| Sun, 01 Apr 2012 22:55:06 +0200 |
less modest NEWS; CONTRIBUTORS
|
file | diff | annotate |
| Sun, 01 Apr 2012 22:41:56 +0200 |
renamed import session back to Import, conforming to directory name; NEWS
|
file | diff | annotate |
| Fri, 30 Mar 2012 11:16:35 +0200 |
removed redundant nat-specific copies of theorems
|
file | diff | annotate |
| Fri, 30 Mar 2012 09:04:29 +0200 |
power on predicate relations
|
file | diff | annotate |
| Thu, 29 Mar 2012 17:40:44 +0200 |
announcing NEWS (cf. 446cfc760ccf)
|
file | diff | annotate |
| Wed, 28 Mar 2012 13:53:30 +0200 |
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
|
file | diff | annotate |
| Wed, 28 Mar 2012 08:25:51 +0200 |
merged
|
file | diff | annotate |
| Tue, 27 Mar 2012 20:19:23 +0200 |
remove more redundant lemmas
|
file | diff | annotate |
| Tue, 27 Mar 2012 19:21:05 +0200 |
remove redundant lemmas
|
file | diff | annotate |
| Tue, 27 Mar 2012 16:04:51 +0200 |
generalized lemma zpower_zmod
|
file | diff | annotate |