Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+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
2011-08-12, by huffman
avoid duplicate rule warnings
2011-08-11, by huffman
modify euclidean_space class to include basis set
2011-08-11, by huffman
remove lemma stupid_ext
2011-08-11, by huffman
documented extended version of case_names attribute
2011-08-12, by nipkow
normalized theory dependencies wrt. file_store;
2011-08-12, by wenzelm
general Graph.schedule;
2011-08-12, by wenzelm
allow "$" within basic path elements (NB: initial "$" refers to path variable);
2011-08-12, by wenzelm
clarified document model header: master_dir (native wrt. editor, potentially URL) and node_name (full canonical path);
2011-08-12, by wenzelm
simplified class Thy_Header;
2011-08-12, by wenzelm
clarified Exn.message;
2011-08-12, by wenzelm
uniform treatment of header edits as document edits;
2011-08-11, by wenzelm
explicit datatypes for document node edits;
2011-08-11, by wenzelm
tuned;
2011-08-11, by wenzelm
disentangled nested ML files;
2011-08-11, by wenzelm
minimal script to run raw Poly/ML with concurrency library;
2011-08-11, by wenzelm
somewhat more uniform THIS;
2011-08-11, by wenzelm
more trimming;
2011-08-11, by wenzelm
recovered some ML toplevel pp;
2011-08-11, by wenzelm
some trimming;
2011-08-11, by wenzelm
prefix of Pure/ROOT.ML required for concurrency within the ML runtime;
2011-08-11, by wenzelm
redundant use of misc_legacy.ML;
2011-08-11, by wenzelm
eliminated use of recdef
2011-08-11, by krauss
removed obsolete recdef-related examples
2011-08-11, by krauss
removed unused material, which does not really belong here
2011-08-11, by krauss
merged
2011-08-10, by huffman
avoid warnings about duplicate rules
2011-08-10, by huffman
follow standard naming scheme for sgn_vec_def
2011-08-10, by huffman
remove several redundant and unused theorems about derivatives
2011-08-10, by huffman
remove redundant lemma
2011-08-10, by huffman
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip