isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

improved theory, context, update_context;
1999-02-05, by wenzelm
improved 'theory';
1999-02-05, by wenzelm
improved msg;
1999-02-05, by wenzelm
use_thy, update_thy: Context.save;
1999-02-05, by wenzelm
tuned;
1999-02-05, by wenzelm
time_use made pervasive;
1999-02-05, by wenzelm
use_dir: check parent, more robust exit;
1999-02-05, by wenzelm
more robust RC;
1999-02-05, by wenzelm
setmp: theory option;
1999-02-05, by wenzelm
Session.finish ();
1999-02-05, by wenzelm
tidied Schroeder-Bernstein proof
1999-02-05, by paulson
new surj rules
1999-02-05, by paulson
obsolete;
1999-02-04, by wenzelm
tuned;
1999-02-04, by wenzelm
include full paths in file info;
1999-02-04, by wenzelm
Symbol.use;
1999-02-04, by wenzelm
Symbol.use (eliminated Use.exit_use);
1999-02-04, by wenzelm
leave theory context after load_thy;
1999-02-04, by wenzelm
File.pwd, File.cd;
1999-02-04, by wenzelm
fixed file_info;
1999-02-04, by wenzelm
use, cd;
1999-02-04, by wenzelm
added 'use';
1999-02-04, by wenzelm
fail_safe close;
1999-02-04, by wenzelm
check_elem: allow ~, except for '~' and '~~';
1999-02-04, by wenzelm
removed use.ML;
1999-02-04, by wenzelm
removed General/use.ML;
1999-02-04, by wenzelm
made SML/NJ happy;
1999-02-03, by wenzelm
check_thy: include ML stamp;
1999-02-03, by wenzelm
added join_info;
1999-02-03, by wenzelm
tidied load path handling;
1999-02-03, by wenzelm
add_path / reset_path;
1999-02-03, by wenzelm
tuned;
1999-02-03, by wenzelm
ThmDatabase.ml_store_thm;
1999-02-03, by wenzelm
usedir -r;
1999-02-03, by wenzelm
Session.init;
1999-02-03, by wenzelm
Theory loader database: theory and file dependencies, theory values
1999-02-03, by wenzelm
tidied;
1999-02-03, by wenzelm
Session management -- maintain state of logic images.
1999-02-03, by wenzelm
get_lexicon;
1999-02-03, by wenzelm
tokenize: get exploded args;
1999-02-03, by wenzelm
delete_tmpfiles (from thy_read.ML);
1999-02-03, by wenzelm
added reset_path;
1999-02-03, by wenzelm
open BasicThmDatabase;
1999-02-03, by wenzelm
Theory presentation (fake implementation);
1999-02-03, by wenzelm
moved to Pure/context.ML;
1999-02-03, by wenzelm
nuked;
1999-02-03, by wenzelm
moved to General/use.ML;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
ThyInfo.begin_theory;
1999-02-03, by wenzelm
oops, update_thy;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
comment;
1999-02-03, by wenzelm
removed load;
1999-02-03, by wenzelm
proper setup of preloaded theories (ThyInfo.register_theory);
1999-02-03, by wenzelm
renamed sig to PRIVATE_SIGN;
1999-02-03, by wenzelm
added thm, thms, Open_locale, Close_locale, Print_scope;
1999-02-03, by wenzelm
added Goal(w) and Export (from context.ML);
1999-02-03, by wenzelm
added is_draft;
1999-02-03, by wenzelm
enabled sig;
1999-02-03, by wenzelm

less more | (0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle