Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-50
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
doc-src/TutorialI/IsaMakefile
2008-10-04
wenzelm
replaced ISATOOL by ISABELLE_TOOL;
file
|
diff
|
annotate
2008-07-01
haftmann
HOL += HOL-Complex
file
|
diff
|
annotate
2007-11-05
nipkow
removed advanced recdef section and replaced it by citation of Alex's tutorial.
file
|
diff
|
annotate
2007-11-01
nipkow
recdef -> fun
file
|
diff
|
annotate
2007-07-23
berghofe
Removed legacy ML files in Protocol case study.
file
|
diff
|
annotate
2005-08-16
wenzelm
removed -H false;
file
|
diff
|
annotate
2005-06-22
nipkow
added Rules/find2
file
|
diff
|
annotate
2005-05-25
nipkow
*** empty log message ***
file
|
diff
|
annotate
2003-05-08
paulson
HOL-Real -> HOL-Complex
file
|
diff
|
annotate
2002-07-05
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-12-21
wenzelm
removed Misc/Translations (text covered by Documents.thy);
file
|
diff
|
annotate
2001-10-21
wenzelm
renamed Typedef.thy to Typedefs.thy (former already present in main HOL);
file
|
diff
|
annotate
2001-10-20
wenzelm
got rid of separate root.tex;
file
|
diff
|
annotate
2001-10-01
wenzelm
initial setup for chapter on document preparation;
file
|
diff
|
annotate
2001-09-28
wenzelm
tuned;
file
|
diff
|
annotate
2001-07-17
paulson
tidying the index
file
|
diff
|
annotate
2001-07-11
paulson
do not remove Rules and Sets TeX files
file
|
diff
|
annotate
2001-06-29
paulson
the records section
file
|
diff
|
annotate
2001-05-03
paulson
remove unnecessary TeX files
file
|
diff
|
annotate
2001-04-10
paulson
Protocols chapter
file
|
diff
|
annotate
2001-03-13
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-01-25
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-01-22
paulson
new examples theory Rules/Tacticals.thy
file
|
diff
|
annotate
2001-01-10
paulson
fixed the treatment of Rules and Sets
file
|
diff
|
annotate
2001-01-05
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-01-03
paulson
Types chapter now uses HOL-Real
file
|
diff
|
annotate
2001-01-02
nipkow
*** empty log message ***
file
|
diff
|
annotate
2000-12-15
wenzelm
usedir -m brackets;
file
|
diff
|
annotate
2000-12-15
nipkow
*** empty log message ***
file
|
diff
|
annotate
2000-12-13
nipkow
*** empty log message ***
file
|
diff
|
annotate
less
more
(0)
-50
-30
tip