| 2011-06-10 |
wenzelm |
makedist -j: build Isabelle/jEdit via given jedit_build component;
|
file |
diff |
annotate
|
| 2011-03-15 |
wenzelm |
recover Isabelle symlink for public distribution, notably website;
|
file |
diff |
annotate
|
| 2011-01-31 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2011-01-17 |
wenzelm |
makedist: refer to isabelle-release;
|
file |
diff |
annotate
|
| 2011-01-15 |
wenzelm |
remove presently unused Isabelle application for official releases;
|
file |
diff |
annotate
|
| 2011-01-11 |
wenzelm |
isabelle version -i;
|
file |
diff |
annotate
|
| 2010-11-26 |
wenzelm |
discontinued global "Isabelle" symlink, to make each distribution even more self-contained;
|
file |
diff |
annotate
|
| 2010-11-17 |
wenzelm |
less parentheses, cf. Session.welcome;
|
file |
diff |
annotate
|
| 2010-06-21 |
wenzelm |
back to post-release mode;
|
file |
diff |
annotate
|
| 2010-06-09 |
wenzelm |
contrib/README;
|
file |
diff |
annotate
|
| 2010-06-09 |
wenzelm |
removed outdated/confusing INSTALL file;
|
file |
diff |
annotate
|
| 2010-06-07 |
wenzelm |
refer to isabelle-release branch;
|
file |
diff |
annotate
|
| 2010-06-06 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2010-05-31 |
wenzelm |
remove presently unused Isabelle application;
|
file |
diff |
annotate
|
| 2009-12-09 |
wenzelm |
keep future Isabelle application entry point;
|
file |
diff |
annotate
|
| 2009-12-04 |
wenzelm |
back to main repository;
|
file |
diff |
annotate
|
| 2009-11-27 |
wenzelm |
proper quotes;
|
file |
diff |
annotate
|
| 2009-11-27 |
wenzelm |
more abstract handling of repository name;
|
file |
diff |
annotate
|
| 2009-11-25 |
wenzelm |
refer to isabelle-release branch;
|
file |
diff |
annotate
|
| 2009-11-22 |
wenzelm |
remove presently unused Isabelle application;
|
file |
diff |
annotate
|
| 2009-08-11 |
wenzelm |
clarified situation about unidentified repository versions -- in a distributed setting there is not "the" repository;
|
file |
diff |
annotate
|
| 2009-06-28 |
wenzelm |
discontinued separate "pdf" archive -- since it is now relatively small compared to the main archive, there is no point to fragment things;
|
file |
diff |
annotate
|
| 2009-04-07 |
wenzelm |
misc tuning and updates;
|
file |
diff |
annotate
|
| 2009-04-07 |
wenzelm |
updated doc setup;
|
file |
diff |
annotate
|
| 2009-04-05 |
wenzelm |
removed obsolete website directory -- information derived by website/build;
|
file |
diff |
annotate
|
| 2009-04-02 |
wenzelm |
simplified website/config;
|
file |
diff |
annotate
|
| 2009-03-05 |
wenzelm |
silent chmod;
|
file |
diff |
annotate
|
| 2009-02-27 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2009-02-26 |
wenzelm |
back to plain http;
|
file |
diff |
annotate
|
| 2009-01-27 |
wenzelm |
use https;
|
file |
diff |
annotate
|
| 2008-12-01 |
haftmann |
merged
|
file |
diff |
annotate
|
| 2008-12-01 |
wenzelm |
makedist -- make Isabelle source distribution (Mercurial version);
|
file |
diff |
annotate
|
| 2008-07-17 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| 2008-07-17 |
wenzelm |
structure Distribution: swapped default for is_official;
|
file |
diff |
annotate
|
| 2008-07-17 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| 2008-07-17 |
wenzelm |
removed old checklist;
|
file |
diff |
annotate
|
| 2008-07-17 |
wenzelm |
assume GNU tar and find;
|
file |
diff |
annotate
|
| 2008-07-02 |
wenzelm |
renamed Contents to Dirs to avoid case-conflict with doc/Contents;
|
file |
diff |
annotate
|
| 2008-06-08 |
wenzelm |
remove codegen_process.pdf from distribution;
|
file |
diff |
annotate
|
| 2008-05-30 |
wenzelm |
cvs2cl only for unofficial releases;
|
file |
diff |
annotate
|
| 2008-03-24 |
wenzelm |
replaced obsolete /usr/proj by /home;
|
file |
diff |
annotate
|
| 2008-03-24 |
wenzelm |
remote CVSROOT: default to atbroy100 instead of sunbroy2;
|
file |
diff |
annotate
|
| 2008-02-25 |
wenzelm |
tuned structure Distribution;
|
file |
diff |
annotate
|
| 2008-02-21 |
wenzelm |
keep ChangeLog.gz within distribution;
|
file |
diff |
annotate
|
| 2008-01-23 |
wenzelm |
reactivated mk of java/scala sources, with paranoia PATH setting for sunbroy;
|
file |
diff |
annotate
|
| 2008-01-07 |
wenzelm |
isabelle.jars: temporarily disabled, until isatest gets up-to-date java;
|
file |
diff |
annotate
|
| 2008-01-06 |
wenzelm |
build Isabelle process wrapper;
|
file |
diff |
annotate
|
| 2007-11-15 |
wenzelm |
cover ISABELLE_IDENTIFIER;
|
file |
diff |
annotate
|
| 2007-10-30 |
haftmann |
improved website integration
|
file |
diff |
annotate
|
| 2007-10-30 |
haftmann |
split library index into templates
|
file |
diff |
annotate
|
| 2007-10-27 |
haftmann |
ASCIIfied README
|
file |
diff |
annotate
|
| 2007-07-22 |
wenzelm |
chmod u+rw on all files;
|
file |
diff |
annotate
|
| 2007-06-02 |
wenzelm |
proper handling of Tools;
|
file |
diff |
annotate
|
| 2007-05-31 |
wenzelm |
doc: exclude isabelle_isar.pdf;
|
file |
diff |
annotate
|
| 2007-05-31 |
wenzelm |
added src/Tools;
|
file |
diff |
annotate
|
| 2006-12-08 |
wenzelm |
date: forcing LC_ALL=C prevents funny file names;
|
file |
diff |
annotate
|
| 2006-10-12 |
haftmann |
now allowing subdirectories in Doc/
|
file |
diff |
annotate
|
| 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
|