Mercurial
Mercurial
>
repos
>
isabelle
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
2012-02-17
wenzelm
simplified configuration options for syntax ambiguity;
changeset
|
files
2012-02-17
wenzelm
retain default of Syntax.ambiguity, according to 2bd54d4b5f3d (despite earlier versions);
changeset
|
files
2012-02-16
wenzelm
more antiquotations;
changeset
|
files
2012-02-16
wenzelm
more symbols;
changeset
|
files
2012-02-16
wenzelm
tuned imports;
changeset
|
files
2012-02-16
wenzelm
tuned proofs;
changeset
|
files
2012-02-16
wenzelm
simplified configuration options for syntax ambiguity;
changeset
|
files
2012-02-16
wenzelm
merged
changeset
|
files
2012-02-16
bulwahn
removing unnecessary premise from diff_single_insert
changeset
|
files
2012-02-16
wenzelm
explicit is better than implicit;
changeset
|
files
2012-02-16
wenzelm
more uniform / portable representation of the idea of "copy_dir" (NB: cp -f dereferences symlinks on GNU/Linux, but does not on old-school Unixen including BSD/Mac OS X);
changeset
|
files
2012-02-16
bulwahn
simplifying proof
changeset
|
files
2012-02-16
bulwahn
removing unnecessary premises in theorems of List theory
changeset
|
files
2012-02-16
bulwahn
tuning mutabelle script
changeset
|
files
2012-02-16
bulwahn
adding documentation for abort_potential option in quickcheck
changeset
|
files
2012-02-15
wenzelm
renamed Thm.capply to Thm.apply, and Thm.cabs to Thm.lambda in conformance with similar operations in structure Term and Logic;
changeset
|
files
2012-02-15
wenzelm
discontinued Drule.term_rule, which tends to cause confusion due to builtin cterm_of (NB: the standard morphisms already provide a separate term component);
changeset
|
files
2012-02-15
wenzelm
uniform Isar source formatting for this file;
changeset
|
files
2012-02-15
wenzelm
clarified outer syntax "constdecl", which is only local to some rail diagrams;
changeset
|
files
2012-02-15
wenzelm
discontinued obsolete "prems" fact;
changeset
|
files
2012-02-15
wenzelm
eliminated slightly odd / obsolete DETERM_UNTIL, DETERM_UNTIL_SOLVED (cf. 941afb897532, ea0668a1c0ba);
changeset
|
files
2012-02-15
wenzelm
removed obsolete files;
changeset
|
files
2012-02-15
wenzelm
more basic simplification, eliminated slightly odd tactic style from 1995 (cf. ea0668a1c0ba);
changeset
|
files
2012-02-15
wenzelm
removed dead code;
changeset
|
files
2012-02-15
wenzelm
updated listrel (cf. 80dccedd6c14);
changeset
|
files
2012-02-15
wenzelm
removed redundant cut_inst_tac -- already covered in implementation manual;
changeset
|
files
2012-02-15
wenzelm
updated rewrite_goals_rule, rewrite_rule;
changeset
|
files
2012-02-15
wenzelm
NEWS;
changeset
|
files
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip