Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 08 Oct 1999 16:17:59 +0200 url;
changeset
wenzelm [Fri, 08 Oct 1999 16:17:59 +0200] rev 7806
url;
Fri, 08 Oct 1999 16:16:51 +0200 theorem database now also indexes constants "Trueprop", "all",
changeset
wenzelm [Fri, 08 Oct 1999 16:16:51 +0200] rev 7805
theorem database now also indexes constants "Trueprop", "all", "==>", "=="; thus thms_containing, findI etc. may retrieve more rules;
Fri, 08 Oct 1999 16:05:06 +0200 improved;
changeset
wenzelm [Fri, 08 Oct 1999 16:05:06 +0200] rev 7804
improved;
Fri, 08 Oct 1999 16:04:42 +0200 removed generated index.html;
changeset
wenzelm [Fri, 08 Oct 1999 16:04:42 +0200] rev 7803
removed generated index.html;
Fri, 08 Oct 1999 15:50:10 +0200 isatool_document;
changeset
wenzelm [Fri, 08 Oct 1999 15:50:10 +0200] rev 7802
isatool_document;
Fri, 08 Oct 1999 15:39:52 +0200 make: tuned usage;
changeset
wenzelm [Fri, 08 Oct 1999 15:39:52 +0200] rev 7801
make: tuned usage;
Fri, 08 Oct 1999 15:09:14 +0200 improved presentation;
changeset
wenzelm [Fri, 08 Oct 1999 15:09:14 +0200] rev 7800
improved presentation;
Fri, 08 Oct 1999 15:08:47 +0200 include document;
changeset
wenzelm [Fri, 08 Oct 1999 15:08:47 +0200] rev 7799
include document;
Fri, 08 Oct 1999 15:08:23 +0200 return stored thms with proper naming in derivation;
changeset
wenzelm [Fri, 08 Oct 1999 15:08:23 +0200] rev 7798
return stored thms with proper naming in derivation;
Fri, 08 Oct 1999 15:04:32 +0200 improved special chars;
changeset
wenzelm [Fri, 08 Oct 1999 15:04:32 +0200] rev 7797
improved special chars;
Fri, 08 Oct 1999 15:03:47 +0200 removed -c option;
changeset
wenzelm [Fri, 08 Oct 1999 15:03:47 +0200] rev 7796
removed -c option;
Fri, 08 Oct 1999 15:03:38 +0200 tuned usage;
changeset
wenzelm [Fri, 08 Oct 1999 15:03:38 +0200] rev 7795
tuned usage;
Fri, 08 Oct 1999 15:03:27 +0200 pass RC;
changeset
wenzelm [Fri, 08 Oct 1999 15:03:27 +0200] rev 7794
pass RC;
Fri, 08 Oct 1999 15:03:11 +0200 prepare theory session document;
changeset
wenzelm [Fri, 08 Oct 1999 15:03:11 +0200] rev 7793
prepare theory session document;
Fri, 08 Oct 1999 13:28:59 +0200 *** empty log message ***
changeset
wenzelm [Fri, 08 Oct 1999 13:28:59 +0200] rev 7792
*** empty log message ***
Fri, 08 Oct 1999 11:10:07 +0200 tuned;
changeset
wenzelm [Fri, 08 Oct 1999 11:10:07 +0200] rev 7791
tuned;
Thu, 07 Oct 1999 22:36:52 +0200 cd: quiet;
changeset
wenzelm [Thu, 07 Oct 1999 22:36:52 +0200] rev 7790
cd: quiet;
Thu, 07 Oct 1999 17:20:58 +0200 verbatim markup tokens;
changeset
wenzelm [Thu, 07 Oct 1999 17:20:58 +0200] rev 7789
verbatim markup tokens;
Thu, 07 Oct 1999 17:20:19 +0200 removed verbatim markups;
changeset
wenzelm [Thu, 07 Oct 1999 17:20:19 +0200] rev 7788
removed verbatim markups;
Thu, 07 Oct 1999 17:19:07 +0200 unset ISABELLE_SETTINGS_PRESENT;
changeset
wenzelm [Thu, 07 Oct 1999 17:19:07 +0200] rev 7787
unset ISABELLE_SETTINGS_PRESENT;
Thu, 07 Oct 1999 15:40:32 +0200 Replaced update_new by update.
changeset
berghofe [Thu, 07 Oct 1999 15:40:32 +0200] rev 7786
Replaced update_new by update.
Thu, 07 Oct 1999 14:44:55 +0200 Added functions for enabling and disabling derivations.
changeset
berghofe [Thu, 07 Oct 1999 14:44:55 +0200] rev 7785
Added functions for enabling and disabling derivations.
Thu, 07 Oct 1999 14:32:32 +0200 read_idents;
changeset
wenzelm [Thu, 07 Oct 1999 14:32:32 +0200] rev 7784
read_idents;
Thu, 07 Oct 1999 14:32:18 +0200 $ISATOOL;
changeset
wenzelm [Thu, 07 Oct 1999 14:32:18 +0200] rev 7783
$ISATOOL;
Thu, 07 Oct 1999 14:31:20 +0200 unset ISABELLE_SETTINGS_PRESENT;
changeset
wenzelm [Thu, 07 Oct 1999 14:31:20 +0200] rev 7782
unset ISABELLE_SETTINGS_PRESENT;
Thu, 07 Oct 1999 14:31:01 +0200 delete Tools;
changeset
wenzelm [Thu, 07 Oct 1999 14:31:01 +0200] rev 7781
delete Tools;
Thu, 07 Oct 1999 12:52:23 +0200 Documented changes to HOL/inductive and function thm_deps.
changeset
berghofe [Thu, 07 Oct 1999 12:52:23 +0200] rev 7780
Documented changes to HOL/inductive and function thm_deps.
Thu, 07 Oct 1999 12:51:37 +0200 Added file Thy/thm_deps.ML
changeset
berghofe [Thu, 07 Oct 1999 12:51:37 +0200] rev 7779
Added file Thy/thm_deps.ML
(0) -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle