src/Pure/context.ML
2005-02-13 skalberg 2005-02-13 Deleted Library.option type.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2004-06-20 wenzelm 2004-06-20 use_output: Symbol.escape;
2001-10-17 wenzelm 2001-10-17 tuned comments;
2001-01-16 wenzelm 2001-01-16 use_output: proper handling of non-ASCII symbols;
2001-01-16 wenzelm 2001-01-16 use_text etc.: proper output of error messages;
2001-01-12 wenzelm 2001-01-12 use_mltext: priority output;
2000-08-14 wenzelm 2000-08-14 use_let: exclude 'val';
2000-05-05 wenzelm 2000-05-05 tuned msg;
2000-03-06 wenzelm 2000-03-06 added use_mltext, use_mltext_theory, use_let, use_setup (from isar_thy.ML);
1999-03-09 wenzelm 1999-03-09 tuned;
1999-02-08 wenzelm 1999-02-08 added fetch, fetch_theory;
1999-02-05 wenzelm 1999-02-05 setmp: theory option; save;
1999-02-03 wenzelm 1999-02-03 Global theory context (used to be in Thy/context.ML);