2000-09-20 wenzelm 2000-09-20 tuned;
2000-09-20 wenzelm 2000-09-20 tuned rpm command lines;
2000-09-20 wenzelm 2000-09-20 updated;
2000-09-20 wenzelm 2000-09-20 made SML/NJ happy;
2000-09-19 wenzelm 2000-09-19 added common args keywords;
2000-09-19 wenzelm 2000-09-19 tuned args;
2000-09-19 wenzelm 2000-09-19 added iff_add_global', iff_add_local' (syntax "iff?"); tuned;
2000-09-19 wenzelm 2000-09-19 tuned;
2000-09-19 wenzelm 2000-09-19 attribute / modifier 'iff': support "?" mode;
2000-09-19 wenzelm 2000-09-19 tuned msg;
2000-09-19 wenzelm 2000-09-19 updated;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 remove unreadable symbol names from sources;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 added plain "tt" style;
2000-09-18 wenzelm 2000-09-18 *** empty log message ***
2000-09-18 wenzelm 2000-09-18 rpm --force;
2000-09-18 wenzelm 2000-09-18 best-style made default;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 tuned;
2000-09-18 wenzelm 2000-09-18 include ANNOUNCE;
2000-09-18 wenzelm 2000-09-18 improved pages;
2000-09-18 wenzelm 2000-09-18 indicate occurrences of 'handle _';
2000-09-17 wenzelm 2000-09-17 removed -x option;
2000-09-17 wenzelm 2000-09-17 made SML/NJ happy;
2000-09-17 wenzelm 2000-09-17 AddXIs [prod_eqI];
2000-09-17 wenzelm 2000-09-17 AddXIs [ext];
2000-09-17 wenzelm 2000-09-17 added print_thm(s)_sg;
2000-09-17 wenzelm 2000-09-17 begin_theory: removed message;
2000-09-17 wenzelm 2000-09-17 Display.pretty_thm_sg;
2000-09-17 wenzelm 2000-09-17 isar-strip-terminators;
2000-09-17 wenzelm 2000-09-17 tuned;
2000-09-17 wenzelm 2000-09-17 updated;
2000-09-15 wenzelm 2000-09-15 safe_asm_full_simp_tac is back (for compat);
2000-09-15 wenzelm 2000-09-15 cleaned up and prepared for Isabelle99-1;
2000-09-15 wenzelm 2000-09-15 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 added;
2000-09-15 wenzelm 2000-09-15 someI2_ex;
2000-09-15 wenzelm 2000-09-15 added "congs" keyword;
2000-09-15 wenzelm 2000-09-15 fixed someI2_ex;
2000-09-15 wenzelm 2000-09-15 keep export of ISABELLE_TMP (!!!);
2000-09-15 wenzelm 2000-09-15 added s/selectI/someI/g;
2000-09-15 wenzelm 2000-09-15 tuned;
2000-09-15 wenzelm 2000-09-15 XSYMBOL_INSTALLFONTS is back;
2000-09-15 nipkow 2000-09-15 *** empty log message ***
2000-09-15 nipkow 2000-09-15 *** empty log message ***
2000-09-15 wenzelm 2000-09-15 "hints" made keyword again;
2000-09-15 wenzelm 2000-09-15 hunting gremlins ...;
2000-09-15 wenzelm 2000-09-15 tentative fix while hunting gremlins ...;
2000-09-15 oheimb 2000-09-15 added new papers
2000-09-15 oheimb 2000-09-15 added mJava macro
2000-09-15 oheimb 2000-09-15 added new papers
2000-09-15 oheimb 2000-09-15 added mJava macro
2000-09-15 wenzelm 2000-09-15 isatool installfonts: -x option;
2000-09-15 wenzelm 2000-09-15 isabelle: -P option;
2000-09-15 wenzelm 2000-09-15 tuned msg;
2000-09-15 wenzelm 2000-09-15 system: isatool installfonts may handle X-Symbol fonts as well;
2000-09-15 wenzelm 2000-09-15 added latexsym (no longer loaded by isabellesym);