Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-60
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Admin/makedist
2001-10-29
wenzelm
tuned;
file
|
diff
|
annotate
2001-07-02
wenzelm
do *not* ./configure;
file
|
diff
|
annotate
2001-02-05
wenzelm
tuned;
file
|
diff
|
annotate
2001-01-18
wenzelm
generate index.html for pdf docs;
file
|
diff
|
annotate
2000-11-28
wenzelm
fixed hostname;
file
|
diff
|
annotate
2000-11-28
wenzelm
detect CVSROOT;
file
|
diff
|
annotate
2000-10-08
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-28
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-27
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-26
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-26
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-25
wenzelm
include "Isabelle" link;
file
|
diff
|
annotate
2000-09-18
wenzelm
include ANNOUNCE;
file
|
diff
|
annotate
2000-09-14
wenzelm
"Isabelle repository version";
file
|
diff
|
annotate
2000-09-12
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-11
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-11
wenzelm
improved WWW page generation (still somewhat experimental);
file
|
diff
|
annotate
2000-09-06
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-06
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-05
wenzelm
tuned;
file
|
diff
|
annotate
2000-09-02
wenzelm
provide "--" argument: tentative release;
file
|
diff
|
annotate
2000-09-01
wenzelm
cleanup dist sources afterwards;
file
|
diff
|
annotate
2000-06-07
wenzelm
provide TAGS file for Isabelle sources;
file
|
diff
|
annotate
2000-05-05
wenzelm
removed index2;
file
|
diff
|
annotate
1999-12-09
kleing
new web pages integrated
file
|
diff
|
annotate
1999-11-02
wenzelm
tuned;
file
|
diff
|
annotate
1999-10-13
wenzelm
berghofe;
file
|
diff
|
annotate
1999-10-07
wenzelm
delete Tools;
file
|
diff
|
annotate
1999-07-28
wenzelm
mkdir contrib;
file
|
diff
|
annotate
1999-07-09
wenzelm
rmdir pdf;
file
|
diff
|
annotate
1999-06-02
wenzelm
find -print;
file
|
diff
|
annotate
1999-05-28
wenzelm
move pdfs back into dist;
file
|
diff
|
annotate
1999-05-28
wenzelm
separate archive for pdf docs;
file
|
diff
|
annotate
1999-05-10
wenzelm
make pdf;
file
|
diff
|
annotate
1999-03-04
wenzelm
fixed again;
file
|
diff
|
annotate
1999-03-01
wenzelm
fixed {ISABELLE};
file
|
diff
|
annotate
1998-11-09
wenzelm
Check release name and date in NEWS!
file
|
diff
|
annotate
1998-10-25
wenzelm
tuned checklist;
Isabelle98-1
file
|
diff
|
annotate
1998-10-22
wenzelm
fixed index.html;
file
|
diff
|
annotate
1998-10-22
wenzelm
tuned;
file
|
diff
|
annotate
1998-10-07
wenzelm
tuned rm CVS;
file
|
diff
|
annotate
1998-08-27
wenzelm
eps logis;
file
|
diff
|
annotate
1998-07-21
wenzelm
fixed eps/ps find;
file
|
diff
|
annotate
1998-07-21
wenzelm
fixed CVSROOT;
file
|
diff
|
annotate
1998-07-21
wenzelm
library includes Isabelle version information;
file
|
diff
|
annotate
1998-05-29
wenzelm
tuned msgs;
file
|
diff
|
annotate
1998-05-28
wenzelm
tuned dist version;
file
|
diff
|
annotate
1998-05-28
wenzelm
README, Pure/ROOT.ML: version set automatically;
file
|
diff
|
annotate
1998-01-09
wenzelm
tuned;
file
|
diff
|
annotate
1998-01-09
wenzelm
automatic index.html patch;
file
|
diff
|
annotate
1998-01-09
wenzelm
tuned;
file
|
diff
|
annotate
1998-01-08
wenzelm
tuned;
file
|
diff
|
annotate
1997-12-15
wenzelm
tuned;
file
|
diff
|
annotate
1997-11-06
wenzelm
tuned;
file
|
diff
|
annotate
1997-11-06
wenzelm
tuned;
file
|
diff
|
annotate
1997-11-05
wenzelm
Tools/8bit: ./mk;
file
|
diff
|
annotate
1997-09-23
wenzelm
index.html obsolete;
file
|
diff
|
annotate
1997-08-07
berghofe
Added some commands for building theory browser.
file
|
diff
|
annotate
1997-05-27
wenzelm
fixed -P (checkout only);
file
|
diff
|
annotate
1997-05-22
wenzelm
fixed doc;
file
|
diff
|
annotate
less
more
(0)
-60
tip