Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-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.
merged
2009-07-02, by haftmann
instance arities can be simultaneous
2009-07-02, by haftmann
updated generated files
2009-07-02, by haftmann
more friendly wrt. PGs interpretation of compound *); added dedicated section on value and quickcheck
2009-07-02, by haftmann
merged
2009-07-02, by paulson
Deleted some debugging code
2009-07-02, by paulson
merged
2009-07-01, by paulson
merged
2009-06-24, by paulson
merged
2009-06-23, by paulson
Removed unnecessary conditions concerning nonzero divisors
2009-06-18, by paulson
strip_shyps: remove top sort, which is logically insignificant;
2009-07-02, by wenzelm
renamed Drule.sort_triv to Thm.sort_triv (cf. more_thm.ML);
2009-07-02, by wenzelm
added pro-forma proof constructor Inclass;
2009-07-02, by wenzelm
renamed NamedThmsFun to Named_Thms;
2009-07-02, by wenzelm
renamed NamedThmsFun to Named_Thms;
2009-07-02, by wenzelm
misc tuning;
2009-07-02, by wenzelm
fixed document (DERIV_intros);
2009-07-02, by wenzelm
more detailed timing message;
2009-06-30, by wenzelm
default to maximum max_threads;
2009-06-30, by wenzelm
merged
2009-06-30, by wenzelm
fixed ISABELLE_HOME_USER;
2009-06-30, by wenzelm
merged
2009-06-30, by haftmann
adaptated to changes in term representation
2009-06-30, by haftmann
improved treatment of case patterns
2009-06-30, by haftmann
merged
2009-06-30, by haftmann
an intermediate step towards a refined translation of cases
2009-06-30, by haftmann
all variable names are optional
2009-06-30, by haftmann
variable names in abstractions are optional
2009-06-30, by haftmann
restored
2009-06-30, by haftmann
added isatest for x86_64-darwin;
2009-06-30, by wenzelm
merged
2009-06-30, by wenzelm
NEWS updated
2009-06-30, by hoelzl
DERIV_ln is proved in Transcendental and in Ln, use Transcendental to prove Ln.
2009-06-30, by hoelzl
remove DERIV_tac and deriv_tac, neither is used in Isabelle/HOL or the AFP
2009-06-30, by hoelzl
use DERIV_intros
2009-06-30, by hoelzl
Added DERIV_intros
2009-06-30, by hoelzl
commented trancl example; added debug message
2009-06-30, by bulwahn
merged
2009-06-30, by bulwahn
exported is_registered; added debug messages; removed extended parameter compilation in predicate compiler
2009-06-30, by bulwahn
added diagnostic printing; changed proof for parameters; moved code
2009-06-29, by bulwahn
merged
2009-06-30, by haftmann
simplified binding concept
2009-06-30, by haftmann
temporary workaround
2009-06-30, by haftmann
tuned
2009-06-30, by haftmann
streamlined code
2009-06-30, by haftmann
dropped id
2009-06-30, by haftmann
mutual instances
2009-06-29, by haftmann
canonical prefix for datatype derivates
2009-06-29, by haftmann
tuned
2009-06-29, by haftmann
check for correct proof output
2009-06-30, by immler
fixed: count constants with supplementary lemmas
2009-06-30, by immler
removed latex markup - there is no document generated from Decision_Procs/ex
2009-06-30, by hoelzl
Implemented taylor series expansion for approximation
2009-06-29, by hoelzl
renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
2009-06-30, by wenzelm
merged
2009-06-30, by wenzelm
more display;
2009-06-30, by wenzelm
added icon;
2009-06-30, by wenzelm
basic launch4j setup;
2009-06-30, by wenzelm
fixed permissions;
2009-06-30, by wenzelm
fixed permissions;
2009-06-30, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip