| 2012-07-18 |
blanchet |
removed lie
|
file |
diff |
annotate
|
| 2012-07-18 |
blanchet |
doc updates
|
file |
diff |
annotate
|
| 2012-07-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2012-07-06 |
wenzelm |
discontinued obsolete attribute "COMP";
|
file |
diff |
annotate
|
| 2012-06-29 |
wenzelm |
default for \<euro> is now based on eurosym package, instead of slightly exotic babel/greek (which causes problems with the Gentoo installation on lxbroy2);
|
file |
diff |
annotate
|
| 2012-06-25 |
wenzelm |
updated "isar-ref" manual, reduced remaining material in "ref" manual.
|
file |
diff |
annotate
|
| 2012-06-21 |
bulwahn |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2012-06-06 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| 2012-06-04 |
boehmes |
restricted Z3 by default to a fragment where proof reconstruction should not fail (for better integration with Sledgehammer) -- the full set of supported Z3 features can still be used by enabling the configuration option "z3_with_extensions"
|
file |
diff |
annotate
|
| 2012-05-29 |
bulwahn |
added optimisation for equational premises in Quickcheck; added some Quickcheck examples; NEWS
|
file |
diff |
annotate
|
| 2012-05-24 |
wenzelm |
discontinued support for Poly/ML 5.2.1;
|
file |
diff |
annotate
|
| 2012-05-23 |
wenzelm |
discontinued obsolete method fastsimp / tactic fast_simp_tac;
|
file |
diff |
annotate
|
| 2012-05-23 |
wenzelm |
merged, abandoning change of src/HOL/Tools/ATP/atp_problem_generate.ML from 6ea205a4d7fd;
|
file |
diff |
annotate
|
| 2012-05-02 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| 2012-05-03 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 2012-05-02 |
wenzelm |
some re-ordering;
|
file |
diff |
annotate
|
| 2012-05-02 |
wenzelm |
some re-ordering;
|
file |
diff |
annotate
|
| 2012-05-02 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| 2012-05-02 |
huffman |
edit NEWS items for transfer/lifting
|
file |
diff |
annotate
|
| 2012-04-30 |
Gerwin Klein |
provide [[record_codegen]] option for skipping codegen setup for records
|
file |
diff |
annotate
|
| 2012-04-28 |
wenzelm |
some re-ordering;
|
file |
diff |
annotate
|
| 2012-04-28 |
wenzelm |
updated system manual for release;
|
file |
diff |
annotate
|
| 2012-04-28 |
haftmann |
less confusion in NEWS
|
file |
diff |
annotate
|
| 2012-04-27 |
wenzelm |
mention tools and packages earlier;
|
file |
diff |
annotate
|
| 2012-04-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2012-04-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2012-04-25 |
hoelzl |
sorted lemma list in NEWS
|
file |
diff |
annotate
|
| 2012-04-23 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2012-04-23 |
krauss |
NEWS
|
file |
diff |
annotate
|
| 2012-04-23 |
wenzelm |
typedef with implicit set definition is considered legacy;
|
file |
diff |
annotate
|
| 2012-04-23 |
hoelzl |
reworked Probability theory
|
file |
diff |
annotate
|
| 2012-04-22 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2012-04-22 |
blanchet |
fixed typos
|
file |
diff |
annotate
|
| 2012-04-22 |
wenzelm |
USER_HOME settings variable points to cross-platform user home directory;
|
file |
diff |
annotate
|
| 2012-04-21 |
huffman |
update NEWS for transfer/quotient
|
file |
diff |
annotate
|
| 2012-04-21 |
huffman |
NEWS for transfer, lifting, and quotient
|
file |
diff |
annotate
|
| 2012-04-20 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
| 2012-04-19 |
wenzelm |
merged
|
file |
diff |
annotate
|
| 2012-04-19 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
| 2012-04-19 |
wenzelm |
more robust Sledgehammer in Prover IDE;
|
file |
diff |
annotate
|
| 2012-04-17 |
Thomas Sewell |
New tactic "word_bitwise" expands word equalities/inequalities into logic.
|
file |
diff |
annotate
|
| 2012-04-18 |
blanchet |
Sledgehammer NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|
| 2012-04-18 |
haftmann |
dropped errorneous NEWS entry
|
file |
diff |
annotate
|
| 2012-04-18 |
haftmann |
consolidated NEWS entries on fold
|
file |
diff |
annotate
|
| 2012-04-18 |
haftmann |
grouped fold-related NEWS entries together
|
file |
diff |
annotate
|
| 2012-04-18 |
haftmann |
grouped NEWS concerning relations together
|
file |
diff |
annotate
|
| 2012-04-18 |
haftmann |
merged rename traces
|
file |
diff |
annotate
|
| 2012-04-16 |
wenzelm |
repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
|
file |
diff |
annotate
|
| 2012-04-16 |
nipkow |
merged
|
file |
diff |
annotate
|
| 2012-04-04 |
nipkow |
refined new tutorial announcement
|
file |
diff |
annotate
|
| 2012-04-15 |
wenzelm |
some coverage of bundled declarations;
|
file |
diff |
annotate
|
| 2012-04-15 |
wenzelm |
some coverage of unnamed contexts, which can be nested within other targets;
|
file |
diff |
annotate
|
| 2012-04-14 |
wenzelm |
misc tuning for release;
|
file |
diff |
annotate
|
| 2012-04-14 |
wenzelm |
revert changes of already published NEWS;
|
file |
diff |
annotate
|
| 2012-04-14 |
wenzelm |
some updates for release;
|
file |
diff |
annotate
|
| 2012-04-14 |
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
|
| 2012-04-13 |
Andreas Lochbihler |
Automated merge with ssh://macbroy25.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
|
file |
diff |
annotate
|
| 2012-04-13 |
Andreas Lochbihler |
NEWS
|
file |
diff |
annotate
|
| 2012-04-13 |
bulwahn |
NEWS
|
file |
diff |
annotate
|
| 2012-04-11 |
wenzelm |
rule composition via attribute "OF" (or ML functions OF/MRS) is more tolerant against multiple unifiers;
|
file |
diff |
annotate
|