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.
 
Wed, 24 Oct 2001 19:20:02 +0200 wenzelm further 1.73 changes: added fix_direct, simplified assume interface; changeset | files
Wed, 24 Oct 2001 19:18:23 +0200 wenzelm added read_prop_schematic; changeset | files
Wed, 24 Oct 2001 19:18:10 +0200 wenzelm simplified ProofContext.assume interface; changeset | files
Wed, 24 Oct 2001 17:38:29 +0200 wenzelm moved lambda to Pure/term.ML; changeset | files
Wed, 24 Oct 2001 17:38:19 +0200 wenzelm added lambda; changeset | files
Wed, 24 Oct 2001 17:37:58 +0200 wenzelm * clasimp: ``iff'' declarations now handle conditional rules as well; changeset | files
Wed, 24 Oct 2001 17:31:58 +0200 wenzelm added string_of_mixfix; changeset | files
Wed, 24 Oct 2001 17:31:20 +0200 wenzelm print_depth 8 from the very beginning; changeset | files
Tue, 23 Oct 2001 23:29:29 +0200 wenzelm added export_assume, export_presume, export_def (from proof.ML); changeset | files
Tue, 23 Oct 2001 23:28:59 +0200 wenzelm moved RANGE to tctical.ML; changeset | files
Tue, 23 Oct 2001 23:28:01 +0200 wenzelm added RANGE (from Isar/proof.ML); changeset | files
Tue, 23 Oct 2001 22:59:14 +0200 wenzelm print fixed names as plain strings; changeset | files
Tue, 23 Oct 2001 22:58:15 +0200 wenzelm eliminated old numerals; changeset | files
Tue, 23 Oct 2001 22:57:52 +0200 wenzelm use generic 1 instead of Numeral1; changeset | files
Tue, 23 Oct 2001 22:56:55 +0200 wenzelm eliminated Numeral0; changeset | files
Tue, 23 Oct 2001 22:54:01 +0200 wenzelm build option enables most basic browser info (for proper recording of session); changeset | files
Tue, 23 Oct 2001 22:53:08 +0200 wenzelm build option; changeset | files
Tue, 23 Oct 2001 22:52:45 +0200 wenzelm tuned; changeset | files
Tue, 23 Oct 2001 22:52:31 +0200 wenzelm eliminated old numerals; changeset | files
Tue, 23 Oct 2001 22:51:30 +0200 wenzelm pass build mode to process; changeset | files
Tue, 23 Oct 2001 19:15:00 +0200 wenzelm removed export_thm; changeset | files
Tue, 23 Oct 2001 19:14:47 +0200 wenzelm trace_rules: only non-empty; changeset | files
Tue, 23 Oct 2001 19:14:31 +0200 wenzelm removed obsolete "exported" att; changeset | files
Tue, 23 Oct 2001 19:14:13 +0200 wenzelm replace_dummy_patterns: lift over bounds; changeset | files
Tue, 23 Oct 2001 19:13:44 +0200 wenzelm iff: always rotate prems; changeset | files
Tue, 23 Oct 2001 19:13:17 +0200 wenzelm apply(simp add: three_def numerals) (* FIXME !? *); changeset | files
Tue, 23 Oct 2001 19:12:58 +0200 wenzelm unset DISPLAY (again); changeset | files
Tue, 23 Oct 2001 19:12:37 +0200 wenzelm * Pure: removed obsolete 'exported' attribute; changeset | files
Mon, 22 Oct 2001 23:39:00 +0200 wenzelm *** empty log message *** changeset | files
Mon, 22 Oct 2001 18:07:53 +0200 wenzelm moved object_logic.ML to Isar/object_logic.ML; changeset | files
Mon, 22 Oct 2001 18:07:30 +0200 wenzelm moved locale.ML to Isar/locale.ML; changeset | files
Mon, 22 Oct 2001 18:04:26 +0200 wenzelm moved goal related stuff to goals.ML; changeset | files
Mon, 22 Oct 2001 18:04:11 +0200 wenzelm Display.current_goals_markers; changeset | files
Mon, 22 Oct 2001 18:04:00 +0200 wenzelm tuned; changeset | files
Mon, 22 Oct 2001 18:03:49 +0200 wenzelm moved prove_goalw_cterm to goals.ML; changeset | files
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
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle