Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
doc-src/manual.bib
2002-05-13
wenzelm
updated X-Symbol URL;
file
|
diff
|
annotate
2002-03-04
berghofe
Tuned some references to LNCS volumes.
file
|
diff
|
annotate
2002-02-19
wenzelm
tuned;
file
|
diff
|
annotate
2002-02-12
wenzelm
added isabelle-hol-book;
file
|
diff
|
annotate
2002-01-07
wenzelm
tuned;
file
|
diff
|
annotate
2002-01-02
wenzelm
added isabelle-intro, isabelle-logics;
file
|
diff
|
annotate
2001-12-31
berghofe
Added "Executing higher order logic" paper.
file
|
diff
|
annotate
2001-12-11
wenzelm
added HOL-Library;
file
|
diff
|
annotate
2001-11-29
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-09-28
berghofe
Added TPHOLs2000 paper about proof terms.
file
|
diff
|
annotate
2001-09-17
wenzelm
tuned;
file
|
diff
|
annotate
2001-04-24
paulson
new reference: Yahalom
file
|
diff
|
annotate
2001-04-10
paulson
security protocol refs
file
|
diff
|
annotate
2001-03-15
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-03-15
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-03-14
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-03-07
paulson
expanded abbrevs
file
|
diff
|
annotate
2001-03-07
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-01-24
nipkow
*** empty log message ***
file
|
diff
|
annotate
2001-01-05
paulson
Fleuriot reference
file
|
diff
|
annotate
2000-10-18
nipkow
*** empty log message ***
file
|
diff
|
annotate
2000-10-11
nipkow
*** empty log message ***
file
|
diff
|
annotate
2000-10-11
nipkow
*** empty log message ***
file
|
diff
|
annotate
2000-10-06
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-28
wenzelm
www.proofgeneral.org;
file
|
diff
|
annotate
2000-09-26
wenzelm
www.proofgeneral.org;
file
|
diff
|
annotate
2000-09-03
paulson
new reference girard89
file
|
diff
|
annotate
2000-08-14
wenzelm
Aspinall:2000:eProof;
file
|
diff
|
annotate
2000-08-09
wenzelm
added Bauer-Wenzel:2000:HB;
file
|
diff
|
annotate
2000-05-20
wenzelm
new stuff;
file
|
diff
|
annotate
2000-03-17
wenzelm
x-symbol;
file
|
diff
|
annotate
2000-02-23
paulson
new reference korf85
file
|
diff
|
annotate
1999-12-09
wenzelm
updated;
file
|
diff
|
annotate
1999-11-06
wenzelm
tuned;
file
|
diff
|
annotate
1999-11-01
paulson
inserted {...}
file
|
diff
|
annotate
1999-10-31
wenzelm
updated;
file
|
diff
|
annotate
1999-10-28
wenzelm
tuned;
file
|
diff
|
annotate
1999-10-13
wenzelm
isabelle-isar-ref;
file
|
diff
|
annotate
1999-08-25
wenzelm
TPHOLs99;
file
|
diff
|
annotate
1999-08-19
wenzelm
sysman: Stefan Berghofer;
file
|
diff
|
annotate
1999-08-16
wenzelm
isamode;
file
|
diff
|
annotate
1999-08-04
wenzelm
added isabelle-sys, proofgeneral;
file
|
diff
|
annotate
1999-07-19
wenzelm
updated;
file
|
diff
|
annotate
1999-05-28
wenzelm
tuned manual.bib;
file
|
diff
|
annotate
1999-05-18
paulson
added Locale paper
file
|
diff
|
annotate
1999-05-10
wenzelm
tuned;
file
|
diff
|
annotate
1999-05-10
wenzelm
axclass;
file
|
diff
|
annotate
1999-05-10
wenzelm
fixed URLs;
file
|
diff
|
annotate
1999-05-07
paulson
new refererences for Inductive manual, but still incomplete
file
|
diff
|
annotate
1999-05-06
nipkow
More refs.
file
|
diff
|
annotate
1999-05-05
paulson
Now uses manual.bib; some references updated
file
|
diff
|
annotate
less
more
(0)
tip