2005-04-27 gagern 2005-04-27 make symlink handling compatible with whitespaces
2005-04-27 paulson 2005-04-27 minor tidying
2005-04-27 paulson 2005-04-27 removed unnecessary (?) check
2005-04-27 paulson 2005-04-27 tidied
2005-04-27 paulson 2005-04-27 partial modernising of theory headers
2005-04-27 chaieb 2005-04-27 bug in plusinf and mininf for the oracle fixed.
2005-04-27 kleing 2005-04-27 reverted last change (dependencies in HOL)
2005-04-27 huffman 2005-04-27 Added binder syntax for fix
2005-04-26 wenzelm 2005-04-26 removed -a option; fixed -d option to do what -a was trying; tuned;
2005-04-26 dixon 2005-04-26 lucas - updated to reflect isand.ML update
2005-04-26 dixon 2005-04-26 lucas - improved comments, clarified function behaviour, added missing functions for working with meta variables.
2005-04-26 wenzelm 2005-04-26 export intro_classes_tac;
2005-04-26 wenzelm 2005-04-26 allow symlinks to all proper Isabelle executables; isabelle-process: Poly/ML no longer needs Perl to run an interactive session;
2005-04-26 wenzelm 2005-04-26 eval command line: show results; tuned;
2005-04-26 wenzelm 2005-04-26 no longer need feeder to run normal interactive sessions;
2005-04-26 wenzelm 2005-04-26 tuned;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure! rm -f generated files to avoid accidental overwriting symlinked targets;
2005-04-26 wenzelm 2005-04-26 restored AUTO_BASH/PERL -- beware of ./configure!
2005-04-26 wenzelm 2005-04-26 reverted accidental commit of user modification;
2005-04-26 wenzelm 2005-04-26 ALL_LOGICS: topological order;
2005-04-26 wenzelm 2005-04-26 improved handling of symlinks; ALL_LOGICS: topological order; removed remains of deceased -p option; reverted accidental commit of user modification;
2005-04-26 wenzelm 2005-04-26 improved handling of symlinks;
2005-04-26 paulson 2005-04-26 eta-expanded a function
2005-04-26 webertj 2005-04-26 HTML standard conformity: done
2005-04-26 isatest 2005-04-26 test sml/nj devel only for the moment
2005-04-26 ballarin 2005-04-26 Fixed bug in fact activation.
2005-04-25 nipkow 2005-04-25 *** empty log message ***
2005-04-25 ballarin 2005-04-25 Subsumption of locale interpretations.
2005-04-23 wenzelm 2005-04-23 tuned comment;
2005-04-23 wenzelm 2005-04-23 added tokentrans_mode, standard_token_classes, standard_token_markers (from token_trans.ML);
2005-04-23 wenzelm 2005-04-23 SynExt.standard_token_markers
2005-04-23 wenzelm 2005-04-23 removed token_trans.ML (some content moved to syn_ext.ML);
2005-04-23 wenzelm 2005-04-23 eval command line arguments; tuned;
2005-04-23 wenzelm 2005-04-23 qualified name Pure.skip_proof;
2005-04-23 wenzelm 2005-04-23 added structure Isar (from isar.ML);
2005-04-23 wenzelm 2005-04-23 removed structure PureIsar;
2005-04-23 wenzelm 2005-04-23 qualified name Pure.attribute;
2005-04-23 wenzelm 2005-04-23 removed isar.ML; removed structure PureIsar;
2005-04-23 wenzelm 2005-04-23 improved read_tyname; merge_stamps, merge_refs: error instead of raise TERM;
2005-04-23 wenzelm 2005-04-23 added content of Pure/Thy/ROOT.ML, Pure/Proof/ROOT.ML;
2005-04-23 wenzelm 2005-04-23 tuned proofs;
2005-04-23 wenzelm 2005-04-23 removed Pure/Syntax/token_trans.ML Pure/Thy/ROOT.ML Pure/Proof/ROOT.ML Pure/Isar/isar.ML;
2005-04-23 wenzelm 2005-04-23 _gt, _gt: syntax instead of consts;
2005-04-23 wenzelm 2005-04-23 cover CPure.- and CPure._ as well;
2005-04-23 wenzelm 2005-04-23 content moved to outer_syntax.ML;
2005-04-23 wenzelm 2005-04-23 content moved to Pure/ROOT.ML;
2005-04-23 wenzelm 2005-04-23 removed obsolete xterm token translations;
2005-04-22 paulson 2005-04-22 removed last occurrences of OS.Process.sleep
2005-04-22 paulson 2005-04-22 x-symbol syntax
2005-04-22 paulson 2005-04-22 tidied
2005-04-22 dixon 2005-04-22 lucas - fixed a big with renaming of bound variables. Other small changes.
2005-04-22 isatest 2005-04-22 run smlnj devel on sunbroy2 and stable on atbroy51 until faster machines are around
2005-04-22 kleing 2005-04-22 added PG hang to FAQ
2005-04-22 kleing 2005-04-22 tuned
2005-04-22 kleing 2005-04-22 howto for changing web pages, simplified makefile access
2005-04-22 kleing 2005-04-22 check in Isabelle2004 versions to make web page changes easier
2005-04-22 kleing 2005-04-22 updated, added Admin/page after-release maintenance
2005-04-22 isatest 2005-04-22 wakeonlan for macbroy33
2005-04-22 kleing 2005-04-22 test stable and devel version of smlnj
2005-04-21 wenzelm 2005-04-21 adapt theories and ML files to new CPure/Pure arrangement;