Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
 
Wed, 14 Feb 2018 06:06:27 +0100 Walther Neuper Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647 changeset | files
Tue, 13 Feb 2018 16:17:59 +0100 Walther Neuper Isabelle2015->17: simplification of rationals changed changeset | files
Tue, 13 Feb 2018 15:25:16 +0100 Walther Neuper Isabelle2015->17: fix not checked with PCD_Poly_ML.thy changeset | files
Tue, 13 Feb 2018 15:14:55 +0100 Walther Neuper Isabelle2015->17: "normalize" as identifier causes type clash now, etc changeset | files
Sat, 10 Feb 2018 16:21:12 +0100 Walther Neuper Isabelle2015->17: fix error introduced by 'session identifiers' 172b53399454 changeset | files
Sat, 10 Feb 2018 15:12:59 +0100 Walther Neuper Isabelle2015->17: mini fixes in test changeset | files
Fri, 09 Feb 2018 12:12:25 +0100 Walther Neuper Isabelle2015->17: imports of Text_Isac work again changeset | files
Fri, 09 Feb 2018 12:00:21 +0100 Walther Neuper Isabelle2015->17: Minisubpbl works due to previous fixes changeset | files
Fri, 09 Feb 2018 11:57:24 +0100 Walther Neuper Isabelle2015->17: tests work down to Minisubpbl changeset | files
Fri, 09 Feb 2018 11:45:53 +0100 Walther Neuper Isabelle2015->17: applied 172b53399454 (on src/) on test/ too changeset | files
Fri, 09 Feb 2018 11:16:05 +0100 Walther Neuper Isabelle2015->17: internal string for division changed changeset | files
Thu, 08 Feb 2018 13:20:40 +0100 Walther Neuper Isabelle2015->17: test setup for calculate changeset | files
Thu, 08 Feb 2018 12:49:52 +0100 Walther Neuper Isabelle2015->17: thm changed changeset | files
Wed, 07 Feb 2018 15:00:37 +0100 Walther Neuper Isabelle2015->17: new negation "~ " --> "<not> " changeset | files
Wed, 07 Feb 2018 13:06:27 +0100 Walther Neuper Isabelle2015->17: test setup for ADDTESTS/All_Ctxt, fst error in "ProgLang/termC.sml" changeset | files
Wed, 07 Feb 2018 12:51:53 +0100 Walther Neuper tuned changeset | files
Wed, 07 Feb 2018 11:27:38 +0100 Walther Neuper Isabelle2015->17: session identifiers enforced now changeset | files
Wed, 07 Feb 2018 11:21:54 +0100 Walther Neuper Isabelle2015->17: header in thys dropped changeset | files
Wed, 07 Feb 2018 10:24:16 +0100 Walther Neuper Isabelle2015->17: session identifiers enforced now changeset | files
Tue, 06 Feb 2018 16:59:09 +0100 Walther Neuper sabelle2015->17: too many changes in Polynomial.thy changeset | files
Tue, 06 Feb 2018 16:55:43 +0100 Walther Neuper Isabelle2015->17: syntax handling has changed changeset | files
Tue, 06 Feb 2018 16:54:05 +0100 Walther Neuper Isabelle2015->17: Polynomial.thy etc has been shifted changeset | files
Tue, 06 Feb 2018 16:18:43 +0100 Walther Neuper Isabelle2015->17: transfer changes from src/ to test/ changeset | files
Tue, 06 Feb 2018 15:26:05 +0100 Walther Neuper Isabelle2015->17: Build_Isac works again changeset | files
Tue, 06 Feb 2018 15:24:03 +0100 Walther Neuper Isabelle2015->17: libisabelle's structure changed changeset | files
Tue, 06 Feb 2018 15:22:32 +0100 Walther Neuper Isabelle2015->17: outcomment unsolved error ion method definition changeset | files
Tue, 06 Feb 2018 15:20:52 +0100 Walther Neuper Isabelle2015->17: theory formad changed changeset | files
Tue, 06 Feb 2018 15:16:43 +0100 Walther Neuper Isabelle2015->17: thm created by fun definition changed changeset | files
Tue, 06 Feb 2018 15:13:08 +0100 Walther Neuper Isabelle2015->17: theorem identifiers changed changeset | files
Tue, 06 Feb 2018 11:50:40 +0100 Walther Neuper ------ connect libisabelle with Isac changeset | files
Tue, 06 Feb 2018 11:43:24 +0100 Walther Neuper ------ copy in libisabelle changeset | files
Sat, 03 Feb 2018 11:49:26 +0100 Walther Neuper comment by Makarius changeset | files
Sat, 20 Jan 2018 16:53:23 +0100 Walther Neuper ------ Interpret/Interpret.thy builds again changeset | files
Sat, 20 Jan 2018 16:39:22 +0100 Walther Neuper ------ PolyML.makestring discontinued changeset | files
Sat, 20 Jan 2018 16:35:32 +0100 Walther Neuper ------ print_depth became a configuration option changeset | files
Sat, 20 Jan 2018 15:46:26 +0100 Walther Neuper ------ eq_thy changes to other module changeset | files
Sat, 20 Jan 2018 15:18:41 +0100 Walther Neuper ------ line breaks within syntax def disallowed changeset | files
Sat, 20 Jan 2018 15:07:58 +0100 Walther Neuper ------ ProgLang/ListC.thy builds again changeset | files
Sat, 20 Jan 2018 13:19:01 +0100 Walther Neuper ------ KEStore.thy builds again changeset | files
Sat, 20 Jan 2018 13:00:40 +0100 Walther Neuper ====== Pure and HOL build with updated thm.ML changeset | files
Sat, 20 Jan 2018 10:56:23 +0100 Walther Neuper ------ this is (again?) from original Isabelle2017 changeset | files
Fri, 19 Jan 2018 16:03:20 +0100 Walther Neuper ------ insert Isac's hooks in ~~/src/Pure/thm.ML changeset | files
Fri, 19 Jan 2018 16:01:22 +0100 Walther Neuper ------ separate appearance of Isac from Isabelle changeset | files
Fri, 19 Jan 2018 15:47:24 +0100 Walther Neuper ------ notify Isabelle about Isac changeset | files
Fri, 19 Jan 2018 15:09:44 +0100 Walther Neuper ------ specify root for ~/.isabelle/ changeset | files
Fri, 19 Jan 2018 12:52:09 +0100 Walther Neuper merged changeset | files
Fri, 19 Jan 2018 12:49:17 +0100 Walther Neuper \----- start update Isabelle2015 --> Isabelle2017 changeset | files
Thu, 18 Jan 2018 15:17:59 +0100 Walther Neuper store the current working directory changeset | files
Wed, 17 Jan 2018 17:25:26 +0100 Walther Neuper comments on Isac's test setup changeset | files
Thu, 18 Jan 2018 15:27:36 +0100 Walther Neuper intermediate for "store the current working directory" changeset | files
Thu, 18 Jan 2018 15:25:39 +0100 Walther Neuper comments on test setup changeset | files
Fri, 17 Nov 2017 05:49:54 +0100 Walther Neuper Added tag Isac2015 for changeset 2f1b2854927a changeset | files
Wed, 31 May 2017 14:58:38 +0200 Walther Neuper fun scala_of_term for testing proto4 Isac2015 changeset | files
Sat, 18 Feb 2017 15:00:54 +0100 Walther Neuper tuned changeset | files
Tue, 07 Feb 2017 08:57:42 +0100 Walther Neuper separate structure Model : MODEL changeset | files
Mon, 06 Feb 2017 09:06:35 +0100 Walther Neuper improved CLEANUP changeset | files
Mon, 06 Feb 2017 09:00:32 +0100 Walther Neuper tuned changeset | files
Mon, 06 Feb 2017 08:52:51 +0100 Walther Neuper remove warnings "unused" from structures, finished for Interpret/ changeset | files
Mon, 06 Feb 2017 07:21:28 +0100 Walther Neuper remove warnings "unused" from structure Generate in generate.sml changeset | files
Mon, 06 Feb 2017 07:10:35 +0100 Walther Neuper remove warnings "unused" from structure Specify in ptyps.sml changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
wneuper/isa