| 2006-01-02 |
wenzelm |
ISABELLE_USER for remote cvs access;
|
file |
diff |
annotate
|
| 2005-10-21 |
haftmann |
towards an improved website/makedist integration
|
file |
diff |
annotate
|
| 2005-10-19 |
haftmann |
slight improvements for website
|
file |
diff |
annotate
|
| 2005-09-28 |
wenzelm |
avoid naming existing tags in explanations;
|
file |
diff |
annotate
|
| 2005-09-26 |
wenzelm |
yet another atempt to get doc/Contents right;
|
file |
diff |
annotate
|
| 2005-09-26 |
wenzelm |
really copy doc/Contents;
|
file |
diff |
annotate
|
| 2005-09-26 |
wenzelm |
copy doc/Contents;
|
file |
diff |
annotate
|
| 2005-09-23 |
wenzelm |
removed doc/index.html from distribution (now produced by website);
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
fixed cvs export;
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2005-09-21 |
wenzelm |
removed "--" argument;
|
file |
diff |
annotate
|
| 2005-06-21 |
haftmann |
removed mkcontent from makedist
|
file |
diff |
annotate
|
| 2005-06-20 |
wenzelm |
exclude pghead.pdf from doc;
|
file |
diff |
annotate
|
| 2005-06-09 |
haftmann |
added CONTRIBUTORS
|
file |
diff |
annotate
|
| 2005-06-06 |
haftmann |
migrated scripts to new webiste
|
file |
diff |
annotate
|
| 2005-06-05 |
wenzelm |
find empty dirs up to depth 5;
|
file |
diff |
annotate
|
| 2005-06-01 |
haftmann |
concl antiqutations
|
file |
diff |
annotate
|
| 2005-05-29 |
kleing |
make COPYRIGHT file available for web page
|
file |
diff |
annotate
|
| 2005-01-13 |
berghofe |
Added ChangeLog
|
file |
diff |
annotate
|
| 2003-02-03 |
berghofe |
Fill in version information in lib/Tools/version.
|
file |
diff |
annotate
|
| 2002-06-20 |
kleing |
fail more gracefully, return proper exit codes, allow preset DISTPREFIX
|
file |
diff |
annotate
|
| 2002-04-30 |
kleing |
physical location of isabelle repository is now sunbroy2
|
file |
diff |
annotate
|
| 2002-03-08 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2002-02-28 |
wenzelm |
delete .cvsignore;
|
file |
diff |
annotate
|
| 2002-01-11 |
wenzelm |
#!/usr/bin/env bash;
|
file |
diff |
annotate
|
| 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
|