Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-30
-10
-8
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
doc-src/IsarRef/Thy/HOL_Specific.thy
Mon, 05 Dec 2011 14:44:46 +0100
kuncar
the note about morphisms moved in the description part
file
|
diff
|
annotate
Mon, 05 Dec 2011 12:36:28 +0100
bulwahn
updating documentation about quiet and verbose options in quickcheck
file
|
diff
|
annotate
Mon, 05 Dec 2011 12:36:02 +0100
bulwahn
documenting the genuine_only option in quickcheck;
file
|
diff
|
annotate
Wed, 30 Nov 2011 23:30:08 +0100
wenzelm
discontinued obsolete datatype "alt_names";
file
|
diff
|
annotate
Tue, 29 Nov 2011 15:52:51 +0100
kuncar
updated documentation for the quotient package
file
|
diff
|
annotate
Tue, 08 Nov 2011 10:48:58 +0100
bulwahn
adding some documentation about the values command to the isar reference
file
|
diff
|
annotate
Tue, 08 Nov 2011 10:33:30 +0100
bulwahn
adding a minimal documentation about the code_pred command to the isar reference
file
|
diff
|
annotate
Fri, 21 Oct 2011 11:17:15 +0200
bulwahn
updating documentation: code_inline -> code_unfold; added documentation about attribute code_unfold_post
file
|
diff
|
annotate
less
more
(0)
-100
-30
-10
-8
tip