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 JavaScript-enabled browsers.
modified remote script;
2009-01-20, by immler
Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
2009-01-19, by immler
removed useless
2009-01-14, by immler
simplified usage of remote-script; added compatible remote-atps
2009-01-12, by immler
dropped print_interps
2009-01-21, by haftmann
binding replaces bstring
2009-01-21, by haftmann
merged
2009-01-21, by haftmann
merged
2009-01-21, by haftmann
binding replaces bstring
2009-01-21, by haftmann
binding is alias for Binding.T
2009-01-21, by haftmann
dropped ID
2009-01-21, by haftmann
binding replaces bstring
2009-01-21, by haftmann
refined witness algebra
2009-01-21, by haftmann
code cleanup
2009-01-21, by haftmann
wrecked old locale package and related modules
2009-01-21, by haftmann
improved and corrected reading of class specs -- still draft version
2009-01-21, by haftmann
tuned
2009-01-21, by haftmann
tuned;
2009-01-20, by wenzelm
replaced java.util.Properties by plain association list;
2009-01-20, by wenzelm
replaced java.util.Properties by plain association list;
2009-01-20, by wenzelm
IsabelleSystem: provide Symbol.Interpretation;
2009-01-20, by wenzelm
more general init of Symbol.Interpretation, independent of IsabelleSystem instance;
2009-01-20, by wenzelm
more robust handling of quick_and_dirty;
2009-01-19, by wenzelm
Merged, overriding earlier fix.
2009-01-19, by ballarin
Fixed tutorial to compile with new locales; grammar of new locale commands.
2009-01-19, by ballarin
removed Ids;
2009-01-19, by wenzelm
removed Ids;
2009-01-19, by wenzelm
intern names of elements and attributes;
2009-01-19, by wenzelm
merged
2009-01-19, by haftmann
lcp = paulson
2009-01-19, by haftmann
"code equation" replaces "defining equation"
2009-01-19, by haftmann
tuned
2009-01-19, by haftmann
improved tackling of subclasses
2009-01-19, by haftmann
tuned proof
2009-01-19, by haftmann
smart path detection
2009-01-18, by haftmann
corrected user aliases
2009-01-18, by haftmann
added churn script
2009-01-18, by haftmann
Scala wrapper for interactive Isar documents;
2009-01-18, by wenzelm
added append_list, encode_list;
2009-01-18, by wenzelm
join_results: when dependencies are resulved (but not finished yet),
2009-01-18, by wenzelm
with_attributes: make double sure that unsafe attributes are avoided;
2009-01-18, by wenzelm
bug fixes
2009-01-18, by nipkow
bug fixes
2009-01-18, by nipkow
improved calculation of morphisms and rules
2009-01-18, by haftmann
merged
2009-01-17, by haftmann
tuned signature
2009-01-17, by haftmann
exported depedencies; tuned signature
2009-01-17, by haftmann
merged
2009-01-17, by huffman
merged
2009-01-16, by huffman
use match_tac instead of resolve_tac for continuity simproc
2009-01-15, by huffman
more instance declarations for poly
2009-01-15, by huffman
add lemmas about degree
2009-01-15, by huffman
rename plength to psize
2009-01-15, by huffman
rename divmod_poly to pdivmod
2009-01-15, by huffman
merged.
2009-01-15, by huffman
add strictness and compactness lemmas to Product_Cpo.thy
2009-01-15, by huffman
rename Dsum.thy to Sum_Cpo.thy
2009-01-14, by huffman
minimize dependencies
2009-01-14, by huffman
add lemmas cont2monofunE, cont2cont_apply
2009-01-14, by huffman
add Product_Cpo.thy
2009-01-14, by huffman
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip