Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
Thu, 26 Sep 2013 10:00:07 +0200 blanchet added data query function changeset | files
Thu, 26 Sep 2013 09:58:36 +0200 blanchet added data query function changeset | files
Thu, 26 Sep 2013 02:34:34 +0200 blanchet tuning changeset | files
Thu, 26 Sep 2013 02:25:33 +0200 blanchet got rid of dependency on silly 'eq_ifI' theorem changeset | files
Thu, 26 Sep 2013 02:09:52 +0200 blanchet more powerful/robust tactics changeset | files
Thu, 26 Sep 2013 01:05:32 +0200 blanchet use standard "split" properties instead of ad hoc "eq_...I" changeset | files
Thu, 26 Sep 2013 01:05:07 +0200 blanchet tuning changeset | files
Thu, 26 Sep 2013 01:05:06 +0200 blanchet made tactic more flexible w.r.t. case expressions and such changeset | files
Wed, 25 Sep 2013 21:25:53 +0200 panny simplified code changeset | files
Wed, 25 Sep 2013 20:29:28 +0200 wenzelm simplified directory structure; changeset | files
Wed, 25 Sep 2013 20:28:49 +0200 wenzelm obsolete (see da57c4912987); changeset | files
Wed, 25 Sep 2013 18:49:37 +0200 blanchet don't generate wrong type changeset | files
Wed, 25 Sep 2013 18:00:53 +0200 blanchet proper handling of abstractions changeset | files
Wed, 25 Sep 2013 17:11:17 +0200 blanchet fixed off-by-one bug changeset | files
Wed, 25 Sep 2013 17:01:29 +0200 blanchet further improved 'code' helper functions changeset | files
Wed, 25 Sep 2013 16:57:48 +0200 blanchet removed spurious recursion changeset | files
Wed, 25 Sep 2013 16:52:51 +0200 blanchet robustness changeset | files
Wed, 25 Sep 2013 16:43:46 +0200 blanchet thread through bound types changeset | files
Wed, 25 Sep 2013 16:43:46 +0200 blanchet killed redundant argument changeset | files
Wed, 25 Sep 2013 16:43:46 +0200 blanchet improved massaging of case expressions changeset | files
Wed, 25 Sep 2013 16:43:46 +0200 blanchet filled in gap in library offering changeset | files
Wed, 25 Sep 2013 16:29:35 +0200 wenzelm updated documentation concerning MacOSX plugin 1.3; changeset | files
Wed, 25 Sep 2013 16:21:27 +0200 wenzelm merged changeset | files
Wed, 25 Sep 2013 16:05:40 +0200 wenzelm bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better; changeset | files
Wed, 25 Sep 2013 15:40:34 +0200 wenzelm include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion; changeset | files
Wed, 25 Sep 2013 15:26:19 +0200 wenzelm removed obsolete cobra.jar, js.jar (see also 30de372ca56f); changeset | files
Wed, 25 Sep 2013 15:49:15 +0200 nipkow merged changeset | files
Wed, 25 Sep 2013 15:49:09 +0200 nipkow tuned changeset | files
Wed, 25 Sep 2013 14:28:10 +0200 blanchet break more conjunctions changeset | files
Wed, 25 Sep 2013 14:21:18 +0200 blanchet move useful functions to library changeset | files
Wed, 25 Sep 2013 13:39:34 +0200 panny merge changeset | files
Wed, 25 Sep 2013 12:43:20 +0200 panny simplified code changeset | files
Wed, 25 Sep 2013 00:38:13 +0200 panny add non-corecursive constructor view theorems to simps changeset | files
Wed, 25 Sep 2013 12:52:21 +0200 wenzelm merged changeset | files
Wed, 25 Sep 2013 12:42:56 +0200 wenzelm tuned proofs; changeset | files
Wed, 25 Sep 2013 11:12:59 +0200 wenzelm explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d); changeset | files
Wed, 25 Sep 2013 12:29:06 +0200 blanchet more powerful fold changeset | files
Wed, 25 Sep 2013 12:00:22 +0200 blanchet properly fold over branches changeset | files
Wed, 25 Sep 2013 11:56:33 +0200 nipkow tuned changeset | files
Wed, 25 Sep 2013 10:53:09 +0200 blanchet removed dead code changeset | files
Wed, 25 Sep 2013 10:45:12 +0200 blanchet keep a database of free constructor type information changeset | files
Wed, 25 Sep 2013 10:26:04 +0200 blanchet generalized case-handling code a bit changeset | files
Wed, 25 Sep 2013 10:17:18 +0200 blanchet support cases for new-style (co)datatypes changeset | files
Wed, 25 Sep 2013 09:35:37 +0200 blanchet use case rather than sequence of ifs in expansion changeset | files
Wed, 25 Sep 2013 08:43:21 +0200 blanchet textual improvements following Christian Sternagel's feedback changeset | files
Tue, 24 Sep 2013 15:03:51 -0700 huffman generalize lemma changeset | files
Tue, 24 Sep 2013 15:03:50 -0700 huffman removed unused lemma changeset | files
Tue, 24 Sep 2013 15:03:49 -0700 huffman factor out new lemma changeset | files
Tue, 24 Sep 2013 15:03:49 -0700 huffman replace lemma with more general simp rule changeset | files
Tue, 24 Sep 2013 23:51:32 +0200 blanchet generalized tactics changeset | files
Tue, 24 Sep 2013 23:10:16 +0200 blanchet renamed generated property changeset | files
Tue, 24 Sep 2013 22:21:51 +0200 blanchet commented out debugging output in "primcorec" changeset | files
Tue, 24 Sep 2013 21:27:45 +0200 wenzelm merged changeset | files
Tue, 24 Sep 2013 21:23:40 +0200 wenzelm tuned proofs; changeset | files
Tue, 24 Sep 2013 20:41:28 +0200 wenzelm more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); changeset | files
Tue, 24 Sep 2013 20:24:14 +0200 wenzelm NEWS; changeset | files
Tue, 24 Sep 2013 19:57:44 +0200 wenzelm clarified font; changeset | files
Tue, 24 Sep 2013 19:53:05 +0200 wenzelm simplified default L&F -- Nimbus should be always available and GTK+ is not fully working yet; changeset | files
Tue, 24 Sep 2013 19:46:11 +0200 wenzelm proper platform-specific test; changeset | files
Tue, 24 Sep 2013 19:41:14 +0200 wenzelm disable standard behaviour of Mac OS X text field (i.e. select-all after focus gain) in order to make completion work more smoothly; changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip
isabelle