Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Mon, 22 Oct 2001 18:03:21 +0200 wenzelm moved local defs to proof.ML (for locales); changeset | files
Mon, 22 Oct 2001 18:02:50 +0200 wenzelm improved source arrangement of obtain; changeset | files
Mon, 22 Oct 2001 18:02:21 +0200 wenzelm rearrange sources for locales; changeset | files
Mon, 22 Oct 2001 18:02:04 +0200 wenzelm Display.print_current_goals_fn; changeset | files
Mon, 22 Oct 2001 18:01:52 +0200 wenzelm Display.print_goals; changeset | files
Mon, 22 Oct 2001 18:01:38 +0200 wenzelm Display.pretty_thms; changeset | files
Mon, 22 Oct 2001 18:01:26 +0200 wenzelm qualified names; changeset | files
Mon, 22 Oct 2001 18:01:15 +0200 wenzelm make this module appeat late in Pure; changeset | files
Mon, 22 Oct 2001 17:59:39 +0200 wenzelm print_goals stuff is back (from locale.ML); changeset | files
Mon, 22 Oct 2001 17:58:56 +0200 wenzelm reorganize sources to accomodate locales; changeset | files
Mon, 22 Oct 2001 17:58:37 +0200 wenzelm corollary; changeset | files
Mon, 22 Oct 2001 17:58:26 +0200 wenzelm quick_and_dirty_prove_goalw_cterm; changeset | files
Mon, 22 Oct 2001 17:58:11 +0200 wenzelm javac -depend; changeset | files
Mon, 22 Oct 2001 17:56:16 +0200 wenzelm -D generated; changeset | files
Mon, 22 Oct 2001 14:58:05 +0200 berghofe Added "clean" target. changeset | files
Mon, 22 Oct 2001 14:55:16 +0200 berghofe Fixed problem with batch mode layout, which caused an AWT exception when changeset | files
Mon, 22 Oct 2001 14:53:52 +0200 berghofe initBrowser now has additional noAWT argument. changeset | files
Mon, 22 Oct 2001 14:52:43 +0200 berghofe Constructor no longer takes font as an argument. changeset | files
Mon, 22 Oct 2001 14:52:12 +0200 berghofe Moved font settings from TreeNode to TreeBrowser. changeset | files
Mon, 22 Oct 2001 14:51:39 +0200 berghofe Moved font settings from Vertex to GraphView. changeset | files
Mon, 22 Oct 2001 12:11:00 +0200 paulson deleted the redundant first argument of adjust(a,b) changeset | files
Mon, 22 Oct 2001 12:01:35 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite changeset | files
Mon, 22 Oct 2001 11:55:35 +0200 paulson New simproc, needed to cope with combinations of (abstract) 0, (abstract) 1, changeset | files
Mon, 22 Oct 2001 11:54:22 +0200 paulson Numerals now work for the integers: the binary numerals for 0 and 1 rewrite changeset | files
Mon, 22 Oct 2001 11:01:30 +0200 wenzelm keep DISPLAY; changeset | files
Sun, 21 Oct 2001 19:49:29 +0200 wenzelm updated; changeset | files
Sun, 21 Oct 2001 19:48:19 +0200 wenzelm renamed to Typedefs.thy to avoid conflict with main HOL version; changeset | files
Sun, 21 Oct 2001 19:44:25 +0200 wenzelm * proper spacing of consecutive markup elements, especially text changeset | files
Sun, 21 Oct 2001 19:42:53 +0200 wenzelm \newif\ifisamarkup controls spacing of isabeginpar; changeset | files
Sun, 21 Oct 2001 19:42:24 +0200 wenzelm improved spacing; changeset | files
Sun, 21 Oct 2001 19:41:43 +0200 wenzelm maintain Latex.flag_markup; changeset | files
Sun, 21 Oct 2001 19:40:39 +0200 wenzelm flag_markup; changeset | files
Sun, 21 Oct 2001 19:36:12 +0200 wenzelm Types/document/Typedefs; changeset | files
Sun, 21 Oct 2001 19:35:40 +0200 wenzelm renamed Typedef.thy to Typedefs.thy (former already present in main HOL); changeset | files
Sat, 20 Oct 2001 22:07:44 +0200 wenzelm got rid of separate root.tex; changeset | files
Sat, 20 Oct 2001 20:23:37 +0200 wenzelm graceful interpretation of -i/-d/-D options; changeset | files
Sat, 20 Oct 2001 20:22:17 +0200 wenzelm include document graph; changeset | files
Sat, 20 Oct 2001 20:21:40 +0200 wenzelm document graph option; changeset | files
Sat, 20 Oct 2001 20:21:14 +0200 wenzelm conditional: bool -> (unit -> unit) -> unit; changeset | files
Sat, 20 Oct 2001 20:20:41 +0200 wenzelm added TextIO.stdErr; changeset | files
Sat, 20 Oct 2001 20:20:21 +0200 wenzelm include document graph; changeset | files
Sat, 20 Oct 2001 20:19:47 +0200 wenzelm document graphs for several sessions; changeset | files
Sat, 20 Oct 2001 20:18:57 +0200 wenzelm tuned; changeset | files
Sat, 20 Oct 2001 20:18:45 +0200 wenzelm calculational rules moved from FOL to IFOL; changeset | files
Sat, 20 Oct 2001 20:18:19 +0200 wenzelm option -g for document graph; changeset | files
Sat, 20 Oct 2001 20:16:55 +0200 wenzelm option -q also excludes -v true in generated stuff; changeset | files
Sat, 20 Oct 2001 20:15:44 +0200 wenzelm dvips -q; changeset | files
Sat, 20 Oct 2001 20:15:27 +0200 wenzelm removed -v option (handled by isabelle process); changeset | files
Sat, 20 Oct 2001 20:14:56 +0200 wenzelm -o pdf: produce *both* eps and pdf; changeset | files
Sat, 20 Oct 2001 20:14:16 +0200 wenzelm * greatly simplified document preparation setup, including more changeset | files
Fri, 19 Oct 2001 22:03:25 +0200 wenzelm got rid of ML proof scripts; changeset | files
Fri, 19 Oct 2001 22:02:25 +0200 wenzelm induct_method.ML -- proof by cases and induction on sets and types (Isar); changeset | files
Fri, 19 Oct 2001 22:02:02 +0200 wenzelm latex output: bold lambda; changeset | files
Fri, 19 Oct 2001 22:01:25 +0200 wenzelm got rid of ML proof scripts for Product_Type; changeset | files
Fri, 19 Oct 2001 22:00:08 +0200 wenzelm got rid of Provers/split_paired_all.ML; changeset | files
Fri, 19 Oct 2001 21:59:33 +0200 wenzelm improved default dependencies; changeset | files
Fri, 19 Oct 2001 12:17:04 +0200 wenzelm revert to proper version (!); changeset | files
Thu, 18 Oct 2001 21:27:47 +0200 wenzelm GPLed; changeset | files
Thu, 18 Oct 2001 21:22:40 +0200 wenzelm tuned; changeset | files
Thu, 18 Oct 2001 21:07:29 +0200 wenzelm use abstract product type instead of datatype; changeset | files
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle