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, 31 Jan 2007 16:05:10 +0100 haftmann dropped lemma duplicates in HOL.thy changeset | files
Wed, 31 Jan 2007 14:03:31 +0100 paulson Tidying; more debugging information. New reference unwanted_types. changeset | files
Tue, 30 Jan 2007 13:17:02 +0100 aspinall Tweak preferences for PGIP interfaces. Make <askids> return theory successors instead of parents (ideally should be content elements). changeset | files
Tue, 30 Jan 2007 13:16:58 +0100 aspinall Add get_succs changeset | files
Tue, 30 Jan 2007 13:14:41 +0100 aspinall Add operations on preference tables (remove, set_default). changeset | files
Tue, 30 Jan 2007 08:21:23 +0100 haftmann adjusted to new codegen_funcgr interface changeset | files
Tue, 30 Jan 2007 08:21:22 +0100 haftmann added interface for plugging in preprocessors changeset | files
Tue, 30 Jan 2007 08:21:19 +0100 haftmann additional auxiliary here changeset | files
Tue, 30 Jan 2007 08:21:18 +0100 haftmann whitespace tuning changeset | files
Tue, 30 Jan 2007 08:21:17 +0100 haftmann dropped dead code changeset | files
Tue, 30 Jan 2007 08:21:16 +0100 haftmann shifted import order changeset | files
Tue, 30 Jan 2007 08:21:15 +0100 haftmann dropped whitespace changeset | files
Tue, 30 Jan 2007 08:21:13 +0100 haftmann changed name of interpretation linorder to order changeset | files
Mon, 29 Jan 2007 19:58:14 +0100 wenzelm proper simproc_setup; changeset | files
Mon, 29 Jan 2007 19:58:14 +0100 wenzelm added get_simproc, @{simproc}; changeset | files
Sun, 28 Jan 2007 23:29:17 +0100 wenzelm added interface for target_naming; changeset | files
Sun, 28 Jan 2007 23:29:16 +0100 wenzelm added simproc_setup; changeset | files
Sun, 28 Jan 2007 23:29:15 +0100 wenzelm added def_simproc(_i) -- define named simprocs; changeset | files
Sun, 28 Jan 2007 23:29:14 +0100 wenzelm updated; changeset | files
Sun, 28 Jan 2007 11:52:52 +0100 chaieb Now deals with simples cases where the input equations contain type variables changeset | files
Fri, 26 Jan 2007 13:59:06 +0100 haftmann refined algorithm changeset | files
Fri, 26 Jan 2007 13:59:04 +0100 haftmann clarified code changeset | files
Fri, 26 Jan 2007 13:59:03 +0100 haftmann exported interface for explicit error messages changeset | files
Fri, 26 Jan 2007 13:59:02 +0100 haftmann added NestedEnvironment changeset | files
Fri, 26 Jan 2007 10:48:09 +0100 paulson Improved debugging changeset | files
Fri, 26 Jan 2007 10:46:22 +0100 paulson Streamlined and improved debugging messages changeset | files
Fri, 26 Jan 2007 10:46:15 +0100 nipkow more fixes of arithmetic for min/max. changeset | files
Fri, 26 Jan 2007 10:24:33 +0100 paulson min/max lemmas (actually unused!) changeset | files
Fri, 26 Jan 2007 10:24:12 +0100 paulson simplification of Suc/numeral combinations with min, max changeset | files
Fri, 26 Jan 2007 10:22:42 +0100 paulson Fixed long-standing, MAJOR bug in "lt" changeset | files
Fri, 26 Jan 2007 09:24:35 +0100 haftmann adjusted manual to improved treatment of overloaded constants changeset | files
Thu, 25 Jan 2007 16:57:57 +0100 nipkow Allows evaluation of min/max o numerals. changeset | files
Thu, 25 Jan 2007 09:32:56 +0100 haftmann fixed bug for OCaml bigints changeset | files
Thu, 25 Jan 2007 09:32:51 +0100 haftmann tuned changeset | files
Thu, 25 Jan 2007 09:32:50 +0100 haftmann added explicit maintainance of coregular code theorems for overloaded constants changeset | files
Thu, 25 Jan 2007 09:32:49 +0100 haftmann dropped useless stuff changeset | files
Thu, 25 Jan 2007 09:32:48 +0100 haftmann clarified code changeset | files
Thu, 25 Jan 2007 09:32:46 +0100 haftmann added explicit query function for arities to subalgebra projection changeset | files
Thu, 25 Jan 2007 09:32:45 +0100 haftmann not importing NestedEnvironment changeset | files
Thu, 25 Jan 2007 09:32:42 +0100 haftmann adjusted to changes in class package changeset | files
Thu, 25 Jan 2007 09:32:37 +0100 haftmann made executable changeset | files
Thu, 25 Jan 2007 09:32:36 +0100 haftmann improved changeset | files
Thu, 25 Jan 2007 09:32:35 +0100 haftmann fxied bug for OCaml bigints changeset | files
Thu, 25 Jan 2007 09:32:34 +0100 haftmann adjusted names changeset | files
Wed, 24 Jan 2007 20:54:21 +0100 wenzelm tuned eta_contract; changeset | files
Wed, 24 Jan 2007 20:54:20 +0100 wenzelm updated timing; changeset | files
Wed, 24 Jan 2007 17:10:50 +0100 paulson some new lemmas changeset | files
Wed, 24 Jan 2007 13:15:16 +0100 aspinall Let <loadfile> execute even while a file is open interactively. changeset | files
Tue, 23 Jan 2007 20:29:03 +0100 krauss fixes smlnj-related problem, updated signature changeset | files
Tue, 23 Jan 2007 15:54:22 +0100 dixon added a fold up and fold down as separate functions and fixed zipto to changeset | files
Mon, 22 Jan 2007 19:00:29 +0100 nipkow simplified proofs changeset | files
Mon, 22 Jan 2007 18:17:04 +0100 krauss Included ex/Fundefs.thy in HOL-ex session changeset | files
Mon, 22 Jan 2007 17:29:43 +0100 krauss * Preliminary implementation of tail recursion changeset | files
Mon, 22 Jan 2007 16:53:33 +0100 aspinall Add location_of_position. Needs work elsewhere. changeset | files
Mon, 22 Jan 2007 16:52:26 +0100 aspinall Test askref changeset | files
Mon, 22 Jan 2007 16:52:02 +0100 aspinall Expose currently open file changeset | files
Mon, 22 Jan 2007 16:51:29 +0100 aspinall Sync location with pgip.rnc, fixing attribute names changeset | files
Mon, 22 Jan 2007 15:37:08 +0100 aspinall Add askrefs, setrefs, error_with_pos changeset | files
Mon, 22 Jan 2007 15:36:58 +0100 aspinall Comments changeset | files
Mon, 22 Jan 2007 15:34:15 +0100 aspinall Comment changeset | files
(0) -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle