2005-06-05 ago wenzelm added Type.freeze(_type);
2005-06-05 ago wenzelm added the_const_type;
2005-06-05 ago wenzelm Type.freeze;
2005-06-05 ago wenzelm find empty dirs up to depth 5;
2005-06-05 ago wenzelm DISCGARB_OPTIONS back in od position;
2005-06-05 ago haftmann link bugs fixed
2005-06-05 ago haftmann link bugs fixed
2005-06-05 ago haftmann link bugs fixed
2005-06-05 ago schirmer bugfix in record_type_abbr_tr'
2005-06-05 ago haftmann added detection for GNU cp
2005-06-05 ago haftmann added detection for GNU cp
2005-06-05 ago haftmann symlink problem hopefully solved
2005-06-05 ago haftmann better symlink handling
2005-06-05 ago haftmann a more spohisticated symlink handling
2005-06-05 ago haftmann a more spohisticated symlink handling
2005-06-05 ago haftmann a more spohisticated symlink handling
2005-06-05 ago haftmann added rsync symlink option
2005-06-05 ago schirmer typo
2005-06-05 ago haftmann added authors
2005-06-05 ago wenzelm replaced File.sysify_path by Path.pack;
2005-06-05 ago wenzelm tuned msg;
2005-06-05 ago wenzelm File.isatool, File.shell_path;
2005-06-05 ago wenzelm present new-style theory header, with 'imports' and 'uses';
2005-06-05 ago wenzelm removed file_info (now in Pure/General/file.ML);
2005-06-05 ago wenzelm new Isar header: reject ':', accept both 'files' and 'uses';
2005-06-05 ago wenzelm added 'uses' keyword;
2005-06-05 ago wenzelm removed copy, copy_all (superceded by File.copy, File.copy_dir);
2005-06-05 ago wenzelm no warning for non-identifiers;
2005-06-05 ago wenzelm removed sysify_path, quote_sysity_path etc.;
2005-06-05 ago wenzelm File.platform_path vs. File.shell_path;
2005-06-05 ago wenzelm File.platform_path;
2005-06-05 ago wenzelm File.shell_path;
2005-06-05 ago wenzelm added isatool version;
2005-06-05 ago wenzelm tuned/updated antiquotations;
2005-06-05 ago wenzelm updated theory header syntax;
2005-06-05 ago wenzelm DISCGARB_OPTIONS: proper treatment of specific polyml versions;
2005-06-05 ago wenzelm observe ISABELLE_IGNORE_USER_SETTINGS;
2005-06-05 ago wenzelm Lucas Dixon;
2005-06-05 ago wenzelm * ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
2005-06-05 ago wenzelm #SMLNJ_CYGWIN_RUNTIME=1
2005-06-04 ago haftmann added README
2005-06-04 ago haftmann fixed links
2005-06-04 ago haftmann fixed links
2005-06-04 ago haftmann fixed links
2005-06-04 ago haftmann fixed NEWS link
2005-06-04 ago haftmann added library symlink
2005-06-04 ago haftmann added library symlink
2005-06-04 ago haftmann added library symlink
2005-06-04 ago haftmann adjusted navigation width
2005-06-04 ago haftmann added shellcmd style
2005-06-04 ago haftmann added shellcmd style
2005-06-04 ago haftmann added shellcmd style
2005-06-04 ago haftmann added shellcmd style
2005-06-04 ago haftmann re-added binary files
2005-06-04 ago haftmann (temporary remove, forgotten the -b flag...)
2005-06-04 ago wenzelm major reorganization and cleanup;
2005-06-04 ago haftmann added new website
2005-06-04 ago huffman added explicit dependency on Fix theory
2005-06-04 ago huffman add keywords fixrec and fixpat for HOLCF fixrec package
2005-06-04 ago huffman fix imports