Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-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.
fixed bug: domain package can now define three or more mutually recursive types simultaneously
2005-03-11, by huffman
domain package now permits indirect recursion with these type constructors: *, ->, ++, **, u
2005-03-11, by huffman
fixed filename in header
2005-03-10, by huffman
instance u :: (cpo) pcpo -- argument type no longer needs to be pointed
2005-03-10, by huffman
Registrations of global locale interpretations: improved, better naming.
2005-03-10, by ballarin
Debugging code (error_depth) removed.
2005-03-10, by ballarin
First version of global registration command.
2005-03-09, by ballarin
fix integer overflow in numeral syntax for SML NJ.
2005-03-08, by obua
fixed variable name
2005-03-08, by huffman
reordered and arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
removed Cprod3_lemma1 and Cprod3_lemma2
2005-03-08, by huffman
reordered and arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
added subsection headings, cleaned up some proofs
2005-03-08, by huffman
reordered and arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
arranged for document generation, cleaned up some proofs
2005-03-08, by huffman
added subsections and text for document generation
2005-03-07, by huffman
Added dependency document/root.tex, and -g true option to isatool; document generation should work now.
2005-03-07, by huffman
HTML 4.01 Transitional conformity
2005-03-07, by webertj
refute_params: default value itself=1 added (for type classes)
2005-03-07, by webertj
HTML 4.01 Transitional conformity
2005-03-07, by webertj
HTML 4.01 Transitional conformity
2005-03-07, by webertj
now checks for higher-order vars
2005-03-07, by paulson
Cleaning up HOL/Matrix
2005-03-07, by obua
Tools/meson.ML: signature, structure and "open" rather than "local"
2005-03-07, by paulson
add header
2005-03-04, by huffman
fix headers
2005-03-04, by huffman
converted to new-style theories, and combined numbered files
2005-03-04, by huffman
document generation for HOLCF
2005-03-04, by huffman
Removed practically all references to Library.foldr.
2005-03-04, by skalberg
new first_order test
2005-03-04, by paulson
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip