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
 
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
Mon, 06 Feb 2017 06:27:31 +0100 Walther Neuper begin to re-arrange structures in Interpret.thy changeset | files
Sun, 05 Feb 2017 16:39:37 +0100 Walther Neuper clean structure Stool : SPECIFY_TOOL changeset | files
Sat, 04 Feb 2017 07:20:39 +0100 Walther Neuper separate structure Stool : SPECIFY_TOOL changeset | files
Thu, 02 Feb 2017 10:41:09 +0100 Walther Neuper cleanup structure Chead finished changeset | files
Thu, 02 Feb 2017 06:50:47 +0100 Walther Neuper remove warnings at the cost of opening structures changeset | files
Thu, 02 Feb 2017 06:32:30 +0100 Walther Neuper tuned changeset | files
Thu, 02 Feb 2017 06:28:43 +0100 Walther Neuper finished separate structure Tac : TACTIC changeset | files
Sat, 21 Jan 2017 15:13:43 +0100 Walther Neuper --- prep 5a for structure Tac : TACTIC changeset | files
Sat, 21 Jan 2017 14:53:45 +0100 Walther Neuper --- prep 5 for structure Tac : TACTIC changeset | files
Sat, 21 Jan 2017 12:32:32 +0100 Walther Neuper prep 4 for structure Tac : TACTIC changeset | files
Sat, 21 Jan 2017 12:01:30 +0100 Walther Neuper prep 3 for structure Tac : TACTIC changeset | files
Sat, 21 Jan 2017 11:30:18 +0100 Walther Neuper prep 2 for structure Tac : TACTIC changeset | files
Sat, 21 Jan 2017 10:25:19 +0100 Walther Neuper prep 1 for structure Tac : TACTIC changeset | files
Thu, 19 Jan 2017 11:35:30 +0100 Walther Neuper tuned changeset | files
Thu, 19 Jan 2017 10:35:39 +0100 Walther Neuper separate structure CTnavi : CALC_TREE_NAVIGATION changeset | files
Wed, 18 Jan 2017 15:07:16 +0100 Walther Neuper shell scripts for switching from coding-mode to test-mode changeset | files
Wed, 18 Jan 2017 11:23:02 +0100 Walther Neuper separate structure CTaccess : CALC_TREE_ACCESS changeset | files
Wed, 18 Jan 2017 09:13:49 +0100 Walther Neuper close badbranch, Test_Isac could not made working changeset | files
Wed, 18 Jan 2017 09:09:04 +0100 Walther Neuper begin to divide structure Ctree changeset | files
Mon, 09 Jan 2017 14:47:24 +0100 Walther Neuper --- Test_Isac fails, restart stepwise changeset | files
Fri, 06 Jan 2017 15:52:58 +0100 Walther Neuper separate structure CTaccess : CALC_TREE_ACCESS changeset | files
Fri, 06 Jan 2017 15:02:46 +0100 Walther Neuper restored structure CTbasic : BASIC_CALC_TREE changeset | files
Fri, 06 Jan 2017 14:48:20 +0100 Walther Neuper further preparation for separating ctree-basic.sml changeset | files
Wed, 28 Dec 2016 13:07:17 +0100 Walther Neuper replaced ctree.sml by basic-ctree.sml before separation changeset | files
Wed, 28 Dec 2016 11:14:04 +0100 Walther Neuper added signature SOLVE changeset | files
Wed, 28 Dec 2016 08:57:00 +0100 Walther Neuper clean structure Applicable changeset | files
Tue, 27 Dec 2016 17:43:12 +0100 Walther Neuper demo ERROR: declare [[ML_print_depth = 999]] kills Isabelle/Isac changeset | files
Tue, 27 Dec 2016 13:20:33 +0100 Walther Neuper clean structure Ctree continued changeset | files
Thu, 22 Dec 2016 14:25:34 +0100 Walther Neuper tuned, previous changeset was --- changeset | files
Thu, 22 Dec 2016 14:05:55 +0100 Walther Neuper clean structure Ctree changeset | files
Thu, 22 Dec 2016 11:55:16 +0100 Walther Neuper tuned changeset | files
Thu, 22 Dec 2016 11:36:20 +0100 Walther Neuper renamed Ctree.ptree --> Ctree.ctree changeset | files
Thu, 22 Dec 2016 11:12:18 +0100 Walther Neuper note on policy for "open" structures changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
wneuper/isa