Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
added class preorder
20080725, by haftmann
dropped locale (open)
20080725, by haftmann
added explicit root theory; some tuning
20080725, by haftmann
tuned
20080725, by haftmann
dropped locale (open)
20080725, by haftmann
(re)added simp rules for (_ + _) div/mod _
20080721, by haftmann
(re)added simp rules for (_ + _) div/mod _
20080721, by haftmann
added explicit purge_data
20080721, by haftmann
added code generation
20080721, by haftmann
fixed code generator setup
20080721, by haftmann
(adjusted)
20080721, by haftmann
Tuned and corrected ideal_tac for algebra.
20080721, by chaieb
Theorems divides_le, ind_euclid, bezout_lemma, bezout_add, bezout, bezout_add_strong, gcd_unique,gcd_eq, bezout_gcd, bezout_gcd_strong, gcd_mult_distrib, gcd_bezout to GCD.thy
20080721, by chaieb
Tuned and simplified proofs; Rules added to presburger's and algebra's context; moved Bezout theorems from Primes.thy
20080721, by chaieb
Tuned and simplified proofs
20080721, by chaieb
Added theorems zmod_eq_dvd_iff and nat_mod_eq_iff previously in Pocklington.thy  relevant for algebra
20080721, by chaieb
Relevant rules added to algebra's context
20080721, by chaieb
renamed item to span, renamed contructors;
20080720, by wenzelm
adapted ThyEdit.span;
20080720, by wenzelm
maintain token range;
20080720, by wenzelm
tty loop: do not report status;
20080720, by wenzelm
added type range;
20080720, by wenzelm
renamed command span markup;
20080720, by wenzelm
SideKickParsedData: minimal content;
20080720, by wenzelm
(adjusted)
20080720, by haftmann
(adjusted)
20080720, by haftmann
added verification framework for the HeapMonad and quicksort as example for this framework
20080719, by bulwahn
build jedit plugin only if jedit is available;
20080719, by wenzelm
misc tuning;
20080718, by wenzelm
more class instantiations
20080718, by haftmann
refined code generator setup for rational numbers; more simplification rules for rational numbers
20080718, by haftmann
moved op dvd to theory Ring_and_Field; generalized a couple of lemmas
20080718, by haftmann
fixed Scala path;
20080718, by wenzelm
tuned build order;
20080717, by wenzelm
proper purge_tmp;
20080717, by wenzelm
tuned message;
20080717, by wenzelm
tuned line breaks (NB: generated text is inserted here);
20080717, by wenzelm
proper usage message;
20080717, by wenzelm
make Isabelle source distribution (via Mercurial);
20080717, by wenzelm
explicit Distribution.changelog;
20080717, by wenzelm
structure Distribution: swapped default for is_official;
20080717, by wenzelm
ThyInfo.remove_thy;
20080717, by wenzelm
structure Distribution: swapped default for is_official;
20080717, by wenzelm
use ../isabelle.sty and ../isabellesym.sty;
20080717, by wenzelm
tuned whitespace;
20080717, by wenzelm
removed old checklist;
20080717, by wenzelm
obsolete;
20080717, by wenzelm
tuned;
20080717, by wenzelm
discontinued maketags;
20080717, by wenzelm
assume GNU tar and find;
20080717, by wenzelm
tuned;
20080717, by wenzelm
use ../isabellesym.sty, which is always available;
20080717, by wenzelm
Admin/build browser;
20080717, by wenzelm
less verbosity;
20080717, by wenzelm
Administrative build  finish Isabelle source distribution.
20080717, by wenzelm
simplified proofs
20080717, by krauss
beautified proofs
20080717, by nipkow
added lemmas
20080717, by nipkow
Added Standardization theory to nominal examples.
20080716, by berghofe
Added Standardization theory.
20080716, by berghofe
less
more

(0)
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
+10000
+30000
tip