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
 
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
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
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
wneuper/isa