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

warn_extra_tfrees;
1999-10-22, by wenzelm
tuned repeat_undo;
1999-10-22, by wenzelm
debug_simp;
1999-10-22, by wenzelm
new flag debug_simp
1999-10-22, by wenzelm
tuned simplifier trace output; new flag debug_simp
1999-10-22, by wenzelm
achieve proper italic correction;
1999-10-22, by wenzelm
HahnBanach update by Gertrud Bauer;
1999-10-22, by wenzelm
replaced image_image_eq_UN by image_eq_UN
1999-10-22, by paulson
ALMOST working version: LocalTo results commented out
1999-10-22, by paulson
new default simprules for UN and INT
1999-10-22, by paulson
new theorems on Image
1999-10-22, by paulson
tidied using modern infix form
1999-10-22, by paulson
tuned trace_action;
1999-10-21, by wenzelm
added known_thy;
1999-10-21, by wenzelm
end/kill_theory: check_known_thy;
1999-10-21, by wenzelm
added touch_child_thys;
1999-10-21, by wenzelm
\isakeyword: fixed italic correction;
1999-10-21, by wenzelm
get_thm;
1999-10-21, by wenzelm
tuned;
1999-10-21, by wenzelm
proper handling of axioms / defs;
1999-10-21, by wenzelm
markup: keep indentation;
1999-10-21, by wenzelm
added is_indent;
1999-10-21, by wenzelm
export thy_path;
1999-10-21, by wenzelm
output \isasymbols;
1999-10-21, by wenzelm
forall_elim_var(s) move here from drule.ML;
1999-10-21, by wenzelm
forall_elim_var(s) moved to pure_thy.ML;
1999-10-21, by wenzelm
*** empty log message ***
1999-10-21, by wenzelm
removed \BG, \EN;
1999-10-21, by wenzelm
updated;
1999-10-21, by wenzelm
added \ISS;
1999-10-21, by wenzelm
eliminated isar_action;
1999-10-20, by wenzelm
remove_thy: warn unknown theory (rather than error);
1999-10-20, by wenzelm
use_mltext: better control of verbosity;
1999-10-20, by wenzelm
use_text: remove last char from output;
1999-10-20, by wenzelm
option -m TARGET;
1999-10-20, by wenzelm
removed -B option;
1999-10-20, by wenzelm
tuned usage;
1999-10-20, by wenzelm
the settings environment is now statically scoped;
1999-10-20, by wenzelm
fixed update_thy_only;
1999-10-20, by wenzelm
qed_spec_mp is a mess;
1999-10-19, by wenzelm
tuned;
1999-10-19, by wenzelm
tuned;
1999-10-18, by wenzelm
update by Stephan Merz;
1999-10-18, by wenzelm
exchanged the first two args of "project" and "drop_prog"
1999-10-18, by paulson
fixed comments
1999-10-18, by paulson
working version with localTo[C] instead of localTo
1999-10-18, by paulson
new thm disjoint_iff_not_equal
1999-10-18, by paulson
new thm vimage_image_eq
1999-10-18, by paulson
PROOFGENERAL_OPTIONS="-u false";
1999-10-16, by wenzelm
improved presentation;
1999-10-15, by wenzelm
fixed comment;
1999-10-15, by wenzelm
Removed obsolete comment.
1999-10-15, by berghofe
Documented thm_deps.
1999-10-15, by berghofe
Corrected typo.
1999-10-14, by berghofe
improved presentation;
1999-10-14, by wenzelm
support thumbpdf;
1999-10-14, by wenzelm
fixed comment;
1999-10-14, by wenzelm
pdf: generate thumbnails if ISABELLE_THUMBPDF set;
1999-10-14, by wenzelm
support thumbpdf (via 'png' output format);
1999-10-14, by wenzelm
thumbpdf (disabled by default);
1999-10-14, by wenzelm

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

isabelle