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
.
lib/Tools/display
2012-11-25
wenzelm
eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
file
|
diff
|
annotate
2012-05-20
wenzelm
try to avoid races again (cf. 8c37cb84065f and fd3a36e48b09);
Isabelle2012
file
|
diff
|
annotate
2011-09-19
wenzelm
instantaneous cleanup (NB: VIEWER should be synchronous, cf. dd25b3055c4e);
file
|
diff
|
annotate
2008-12-20
wenzelm
removed Ids;
file
|
diff
|
annotate
2008-10-21
wenzelm
tuned usage line;
file
|
diff
|
annotate
2006-11-13
wenzelm
fixed comment -- oops;
file
|
diff
|
annotate
2006-09-18
wenzelm
PRIVATE_FILE: slightly more robust way to create and dispose;
file
|
diff
|
annotate
2005-04-13
wenzelm
*** MESSAGE REFERS TO PREVIOUS VERSION ***
file
|
diff
|
annotate
2005-04-13
wenzelm
*** empty log message ***
file
|
diff
|
annotate
2004-10-01
paulson
patch to "display"
file
|
diff
|
annotate
2004-09-30
kleing
display pdf as well as dvi
file
|
diff
|
annotate
2004-06-29
kleing
license change to BSD
file
|
diff
|
annotate
2004-06-22
wenzelm
tuned;
file
|
diff
|
annotate
2004-06-15
wenzelm
ISABELLE_TMP
file
|
diff
|
annotate
2004-06-13
wenzelm
display document (in DVI format)
file
|
diff
|
annotate
less
more
(0)
tip