Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Wed, 27 Oct 1999 11:13:25 +0200 now more than 256 generated bound variables possible
changeset
oheimb [Wed, 27 Oct 1999 11:13:25 +0200] rev 7943
now more than 256 generated bound variables possible
Wed, 27 Oct 1999 11:12:10 +0200 reset_goals no longer empties the proof stack
changeset
oheimb [Wed, 27 Oct 1999 11:12:10 +0200] rev 7942
reset_goals no longer empties the proof stack
Tue, 26 Oct 1999 22:37:34 +0200 improved ml handling;
changeset
wenzelm [Tue, 26 Oct 1999 22:37:34 +0200] rev 7941
improved ml handling; tuned;
Tue, 26 Oct 1999 22:36:50 +0200 improved ml handling;
changeset
wenzelm [Tue, 26 Oct 1999 22:36:50 +0200] rev 7940
improved ml handling;
Tue, 26 Oct 1999 22:34:01 +0200 tuned;
changeset
wenzelm [Tue, 26 Oct 1999 22:34:01 +0200] rev 7939
tuned; always ml_prompts;
Tue, 26 Oct 1999 22:32:15 +0200 activate ml_prompts;
changeset
wenzelm [Tue, 26 Oct 1999 22:32:15 +0200] rev 7938
activate ml_prompts;
Tue, 26 Oct 1999 19:06:52 +0200 added inform_file_processed, inform_file_retracted;
changeset
wenzelm [Tue, 26 Oct 1999 19:06:52 +0200] rev 7937
added inform_file_processed, inform_file_retracted; proper outer syntax setup; more robust theory loader actions;
Tue, 26 Oct 1999 19:05:26 +0200 added kill_proof_notify;
changeset
wenzelm [Tue, 26 Oct 1999 19:05:26 +0200] rev 7936
added kill_proof_notify;
Tue, 26 Oct 1999 19:04:55 +0200 added check_known_thy, if_known_thy;
changeset
wenzelm [Tue, 26 Oct 1999 19:04:55 +0200] rev 7935
added check_known_thy, if_known_thy; simplified loaded_files;
Tue, 26 Oct 1999 17:00:46 +0200 Isabelle %f;
changeset
wenzelm [Tue, 26 Oct 1999 17:00:46 +0200] rev 7934
Isabelle %f;
Tue, 26 Oct 1999 15:23:25 +0200 do not set proof_timing;
changeset
wenzelm [Tue, 26 Oct 1999 15:23:25 +0200] rev 7933
do not set proof_timing;
Tue, 26 Oct 1999 14:35:45 +0200 export kill_theory;
changeset
wenzelm [Tue, 26 Oct 1999 14:35:45 +0200] rev 7932
export kill_theory;
Tue, 26 Oct 1999 14:35:10 +0200 added kill_thy;
changeset
wenzelm [Tue, 26 Oct 1999 14:35:10 +0200] rev 7931
added kill_thy;
Tue, 26 Oct 1999 14:34:50 +0200 added opt_unit (from isar_syn.ML);
changeset
wenzelm [Tue, 26 Oct 1999 14:34:50 +0200] rev 7930
added opt_unit (from isar_syn.ML);
Tue, 26 Oct 1999 00:04:05 +0200 added drop_ext;
changeset
wenzelm [Tue, 26 Oct 1999 00:04:05 +0200] rev 7929
added drop_ext; tuned;
Mon, 25 Oct 1999 20:38:03 +0200 improved handling of warn_extra_tfrees;
changeset
wenzelm [Mon, 25 Oct 1999 20:38:03 +0200] rev 7928
improved handling of warn_extra_tfrees;
Mon, 25 Oct 1999 19:24:43 +0200 update by Gertrud Bauer;
changeset
wenzelm [Mon, 25 Oct 1999 19:24:43 +0200] rev 7927
update by Gertrud Bauer;
Mon, 25 Oct 1999 19:24:31 +0200 added Real/HahnBanach/document/root.bib;
changeset
wenzelm [Mon, 25 Oct 1999 19:24:31 +0200] rev 7926
added Real/HahnBanach/document/root.bib;
Fri, 22 Oct 1999 21:50:12 +0200 warn_extra_tfrees (after declare_term);
changeset
wenzelm [Fri, 22 Oct 1999 21:50:12 +0200] rev 7925
warn_extra_tfrees (after declare_term);
Fri, 22 Oct 1999 21:49:33 +0200 warn_extra_tfrees;
changeset
wenzelm [Fri, 22 Oct 1999 21:49:33 +0200] rev 7924
warn_extra_tfrees; removed bind(_i), add_binds, declare_term;
Fri, 22 Oct 1999 21:48:50 +0200 warn_extra_tfrees;
changeset
wenzelm [Fri, 22 Oct 1999 21:48:50 +0200] rev 7923
warn_extra_tfrees;
Fri, 22 Oct 1999 20:25:19 +0200 tuned repeat_undo;
changeset
wenzelm [Fri, 22 Oct 1999 20:25:19 +0200] rev 7922
tuned repeat_undo;
Fri, 22 Oct 1999 20:25:00 +0200 debug_simp;
changeset
wenzelm [Fri, 22 Oct 1999 20:25:00 +0200] rev 7921
debug_simp;
Fri, 22 Oct 1999 20:24:13 +0200 new flag debug_simp
changeset
wenzelm [Fri, 22 Oct 1999 20:24:13 +0200] rev 7920
new flag debug_simp
Fri, 22 Oct 1999 20:24:08 +0200 tuned simplifier trace output; new flag debug_simp
changeset
wenzelm [Fri, 22 Oct 1999 20:24:08 +0200] rev 7919
tuned simplifier trace output; new flag debug_simp
Fri, 22 Oct 1999 20:23:40 +0200 achieve proper italic correction;
changeset
wenzelm [Fri, 22 Oct 1999 20:23:40 +0200] rev 7918
achieve proper italic correction;
Fri, 22 Oct 1999 20:14:31 +0200 HahnBanach update by Gertrud Bauer;
changeset
wenzelm [Fri, 22 Oct 1999 20:14:31 +0200] rev 7917
HahnBanach update by Gertrud Bauer;
Fri, 22 Oct 1999 18:41:00 +0200 replaced image_image_eq_UN by image_eq_UN
changeset
paulson [Fri, 22 Oct 1999 18:41:00 +0200] rev 7916
replaced image_image_eq_UN by image_eq_UN
Fri, 22 Oct 1999 18:35:20 +0200 ALMOST working version: LocalTo results commented out
changeset
paulson [Fri, 22 Oct 1999 18:35:20 +0200] rev 7915
ALMOST working version: LocalTo results commented out
Fri, 22 Oct 1999 18:33:39 +0200 new default simprules for UN and INT
changeset
paulson [Fri, 22 Oct 1999 18:33:39 +0200] rev 7914
new default simprules for UN and INT
(0) -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle