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
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.
merged
20110812, by huffman
make more HOL theories work with separate set type
20110812, by huffman
immediate fork of initial workers  avoid 5 ticks (250ms) for adaptive scheme (a07558eb5029);
20110813, by wenzelm
merged
20110812, by wenzelm
merged
20110812, by huffman
make Multivariate_Analysis work with separate set type
20110812, by huffman
make HOLCF work with separate set type
20110812, by huffman
merged
20110812, by huffman
avoid duplicate rule warnings
20110811, by huffman
modify euclidean_space class to include basis set
20110811, by huffman
remove lemma stupid_ext
20110811, by huffman
documented extended version of case_names attribute
20110812, by nipkow
normalized theory dependencies wrt. file_store;
20110812, by wenzelm
general Graph.schedule;
20110812, by wenzelm
allow "$" within basic path elements (NB: initial "$" refers to path variable);
20110812, by wenzelm
clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
20110812, by wenzelm
simplified class Thy_Header;
20110812, by wenzelm
clarified Exn.message;
20110812, by wenzelm
uniform treatment of header edits as document edits;
20110811, by wenzelm
explicit datatypes for document node edits;
20110811, by wenzelm
tuned;
20110811, by wenzelm
disentangled nested ML files;
20110811, by wenzelm
minimal script to run raw Poly/ML with concurrency library;
20110811, by wenzelm
somewhat more uniform THIS;
20110811, by wenzelm
more trimming;
20110811, by wenzelm
recovered some ML toplevel pp;
20110811, by wenzelm
some trimming;
20110811, by wenzelm
prefix of Pure/ROOT.ML required for concurrency within the ML runtime;
20110811, by wenzelm
redundant use of misc_legacy.ML;
20110811, by wenzelm
eliminated use of recdef
20110811, by krauss
removed obsolete recdefrelated examples
20110811, by krauss
removed unused material, which does not really belong here
20110811, by krauss
merged
20110810, by huffman
avoid warnings about duplicate rules
20110810, by huffman
follow standard naming scheme for sgn_vec_def
20110810, by huffman
remove several redundant and unused theorems about derivatives
20110810, by huffman
remove redundant lemma
20110810, by huffman
simplify proof of lemma bounded_component
20110810, by huffman
simplify some proofs
20110810, by huffman
more uniform naming scheme for finite cartesian product type and related theorems
20110810, by huffman
move euclidean_space instance from Cartesian_Euclidean_Space.thy to Finite_Cartesian_Product.thy
20110810, by huffman
merged
20110810, by wenzelm
split Linear_Algebra.thy from Euclidean_Space.thy
20110810, by huffman
full import paths
20110810, by huffman
declare tendsto_const [intro] (accidentally removed in 230a8665c919)
20110810, by huffman
merged
20110810, by huffman
simplified definition of class euclidean_space;
20110810, by huffman
bounded_linear interpretation for euclidean_component
20110809, by huffman
lemma bounded_linear_intro
20110809, by huffman
avoid duplicate rewrite warnings
20110809, by huffman
mark some redundant theorems as legacy
20110809, by huffman
Derivative.thy: more sensible subsection headings
20110809, by huffman
Derivative.thy: clean up formatting
20110809, by huffman
instance real_basis_with_inner < perfect_space
20110808, by huffman
old term operations are legacy;
20110810, by wenzelm
moved old code generator to src/Tools/;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
less
more

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