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.
fixed address
2004-04-19, by paulson
fixed address
2004-04-19, by paulson
Forgot a couple of checks for the quick_and_dirty flag the other day.
2004-04-19, by skalberg
renamed HOL-Import-HOL to HOL4, added to images target
2004-04-19, by kleing
change quote to Library.quote, fixes LaTeX \isarchardoublequote problem.
2004-04-19, by kleing
add HOL4
2004-04-19, by kleing
devel snapshot is now tested
2004-04-19, by kleing
updated Tobias' address
2004-04-19, by kleing
Whoops, forgot a header...
2004-04-17, by skalberg
Minor cleanup of headers and some speedup of the HOL4 import.
2004-04-17, by skalberg
Added documentation for ax_specification, as well as a small comparison of
2004-04-17, by skalberg
Fixed bug in rmod that caused an overflow exception in SML/NJ.
2004-04-17, by berghofe
Added case distinction proof pattern.
2004-04-17, by nipkow
added sydney mirror
2004-04-17, by kleing
small additions
2004-04-17, by nipkow
2003 -> 2004
2004-04-17, by nipkow
do not mention poly 3.x any more (it is untested)
2004-04-17, by kleing
do not mention MLWorks and poly 3.x any more, they are untested
2004-04-17, by kleing
add HOL-Matrix
2004-04-17, by kleing
added HOL-Matrix, added HOL/Matrix/ROOT.ML
2004-04-17, by kleing
tuned;
2004-04-16, by wenzelm
more elaborate header markup;
2004-04-16, by wenzelm
tuned document;
2004-04-16, by wenzelm
Pure: 'instance' now handles general arities;
2004-04-16, by wenzelm
'instance' and intro_classes now handle general sorts;
2004-04-16, by wenzelm
exactly1true rewritten (much better when converting to CNF now)
2004-04-16, by webertj
Moved ring stuff from ex into Ring_and_Field.
2004-04-16, by nipkow
Added entry for quickcheck command.
2004-04-16, by berghofe
Replaced quote by Library.quote, since quote now refers to Symbol.quote
2004-04-16, by berghofe
Replaced quote by Pretty.quote / Library.quote, since quote now refers to Symbol.quote
2004-04-16, by berghofe
Replaced quote by Pretty.quote.
2004-04-16, by berghofe
Replaced quote by Library.quote, since quote now refers to Symbol.quote
2004-04-16, by berghofe
Added translate function to String structure.
2004-04-16, by berghofe
- tuned text function
2004-04-16, by berghofe
Added variants of functions quote and commas_quote that allow escaping
2004-04-16, by berghofe
Moved symbol.ML to front of file list (due to quote function).
2004-04-16, by berghofe
first version of matrices for HOL/Isabelle
2004-04-16, by obua
Added theory with examples for quickcheck command.
2004-04-16, by berghofe
lemma drop_Suc_conv_tl added.
2004-04-16, by mehta
simplified ML code for setsubgoaler;
2004-04-16, by wenzelm
tuned document;
2004-04-16, by wenzelm
add locales
2004-04-16, by kleing
Zur Freude von Sebastian Skalberg!
2004-04-16, by ballarin
Added Locales Tutorial.
2004-04-16, by ballarin
say how to install PG and poly
2004-04-16, by kleing
fix cvs id
2004-04-16, by kleing
describe how to work on Isabelle repository version
2004-04-16, by kleing
make weblint happy
2004-04-16, by kleing
updated, tuned
2004-04-16, by kleing
*** empty log message ***
2004-04-16, by nipkow
tuned;
2004-04-16, by wenzelm
session graph;
2004-04-16, by wenzelm
tuned document;
2004-04-16, by wenzelm
add feature list
2004-04-16, by kleing
add faq
2004-04-16, by kleing
add link to FAQ
2004-04-16, by kleing
add Isabelle2003 to archive
2004-04-16, by kleing
tuned;
2004-04-15, by wenzelm
fixed width;
2004-04-15, by wenzelm
finalconsts RepC AbsC;
2004-04-15, by wenzelm
less
more
|
(0)
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip