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
.
2009-11-16
boehmes
further explosion of HOL-Boogie verification conditions
changeset
|
files
2009-11-16
haftmann
merged
changeset
|
files
2009-11-16
haftmann
proper purge
changeset
|
files
2009-11-16
haftmann
dropped obsolete documentation; updated generated sources
changeset
|
files
2009-11-16
blanchet
merged
changeset
|
files
2009-11-13
blanchet
removed a few global names in Nitpick (styp, nat_less, pairf)
changeset
|
files
2009-11-15
wenzelm
add_expand_thm: explicit indication of is_def instead of fragile heuristic, tuned signature;
changeset
|
files
2009-11-15
wenzelm
axiomatization: declare Spec_Rules, direct result;
changeset
|
files
2009-11-15
wenzelm
use simultaneous Morphics.fact;
changeset
|
files
2009-11-15
wenzelm
primitive defs: clarified def (axiom name) vs. description;
changeset
|
files
2009-11-15
wenzelm
eliminated obsolete thm position tags;
changeset
|
files
2009-11-15
wenzelm
permissive AList.merge -- most likely setup for theory data (beware of spurious AList.DUP);
changeset
|
files
2009-11-15
wenzelm
provide actual Nitpick_HOL.extended_context;
changeset
|
files
2009-11-15
wenzelm
tuned;
changeset
|
files
2009-11-15
wenzelm
more accurate dependencies;
changeset
|
files
2009-11-15
wenzelm
eliminated obsolete CVS Ids;
changeset
|
files
2009-11-15
schirmer
merged
changeset
|
files
2009-11-15
schirmer
added benchmark for large records
changeset
|
files
2009-11-14
schirmer
merged
changeset
|
files
2009-11-14
schirmer
clarified quick-and-dirty usage in record package;
changeset
|
files
2009-11-14
wenzelm
simplified bulky metis proofs;
changeset
|
files
2009-11-14
wenzelm
properly inlined @{lemma} antiqutations -- might also reduce proof terms a bit;
changeset
|
files
2009-11-14
wenzelm
moved old SList, LList, LFilter to AFP/Lazy-Lists-II;
changeset
|
files
2009-11-14
wenzelm
include HOL-Boogie keywords by default;
changeset
|
files
2009-11-14
wenzelm
eliminated obsolete CVS Ids;
changeset
|
files
2009-11-14
wenzelm
updated keywords;
changeset
|
files
2009-11-14
wenzelm
generate keywords for Emacs Proof General only;
changeset
|
files
2009-11-14
wenzelm
dismantled remains of old jEdit plugin;
changeset
|
files
Loading...
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-28
+28
+50
+100
+300
+1000
+3000
+10000
+30000
tip