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.
Strict prefixes in locales expressions.
2008-12-14, by ballarin
Propagate theorems to registrations.
2008-12-12, by ballarin
Automated merge with ssh://ballarin@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle
2008-12-12, by ballarin
Equations in interpretation as goals.
2008-12-12, by ballarin
Interpretation in theories: first version with equations.
2008-12-11, by ballarin
Clarified comment.
2008-12-11, by ballarin
Use prefix component of bindings for locale prefixes.
2008-12-10, by ballarin
Missing dependency
2008-12-10, by ballarin
Preserve idents (expression in sublocale).
2008-12-10, by ballarin
added POSITION_PROPERTIES;
2008-12-29, by wenzelm
tuned;
2008-12-29, by wenzelm
override toString method;
2008-12-29, by wenzelm
Swing utilities.
2008-12-29, by wenzelm
merged
2008-12-29, by wenzelm
optional exception logging;
2008-12-29, by wenzelm
merged
2008-12-29, by haftmann
pretty printer for bindings
2008-12-29, by haftmann
adapted HOL source structure to distribution layout
2008-12-29, by haftmann
tuned;
2008-12-29, by wenzelm
more markup elements;
2008-12-29, by wenzelm
tuned;
2008-12-29, by wenzelm
merged
2008-12-29, by wenzelm
explicit EventBus for results;
2008-12-29, by wenzelm
added methods "+" and "-";
2008-12-29, by wenzelm
Generic event bus.
2008-12-29, by wenzelm
eliminated fun/val confusion
2008-12-29, by haftmann
merged
2008-12-28, by huffman
clean up proofs of lemma Maclaurin
2008-12-28, by huffman
disabled old jedit plugin;
2008-12-28, by wenzelm
more markup elements;
2008-12-28, by wenzelm
more markup elements;
2008-12-28, by wenzelm
removed duplicate sum_case used only by function package;
2008-12-27, by krauss
tuned NEWS; CONTRIBUTORS
2008-12-27, by krauss
renamed LexOrds.thy to Termination.thy; examples for sizechange method
2008-12-27, by krauss
tuned;
2008-12-27, by wenzelm
merged
2008-12-27, by wenzelm
refined execute, which replaces exec/exec2;
2008-12-27, by wenzelm
maintain initial process environment;
2008-12-27, by wenzelm
merged
2008-12-27, by haftmann
tackling simultaneous val/fun bindings
2008-12-27, by haftmann
proper class IsabelleSystem -- no longer static;
2008-12-27, by wenzelm
PATH: /opt/local/bin is back again (required for latex etc.);
2008-12-27, by wenzelm
merged.
2008-12-24, by huffman
clean up lemmas about ln
2008-12-24, by huffman
clean up lemmas about exp
2008-12-24, by huffman
more proofs about differentiable
2008-12-24, by huffman
use less_iff_Suc_add instead of less_add_one
2008-12-24, by huffman
rearranged subsections; cleaned up some proofs
2008-12-24, by huffman
move theorems about limits from Transcendental.thy to Deriv.thy
2008-12-24, by huffman
cleaned up some proofs; removed redundant simp rules
2008-12-24, by huffman
move sin and cos to their own subsection
2008-12-23, by huffman
clean up some proofs; remove unused lemmas
2008-12-23, by huffman
tuned;
2008-12-23, by wenzelm
* Proofs of are run in parallel on multi-core systems;
2008-12-23, by wenzelm
updated generated file;
2008-12-23, by wenzelm
updated thread-safe programming;
2008-12-23, by wenzelm
updated generated file;
2008-12-23, by wenzelm
added float_token, and num_const, float_const;
2008-12-23, by wenzelm
renamed terminal category "float" to "float_token", to avoid name
2008-12-23, by wenzelm
manual file type setup using AppHack 1.1;
2008-12-23, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip