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, 22 Aug 2018 12:47:25 +0200 Walther Neuper final isabisac17 on Isabelle2017 isabisac17 changeset | files
Wed, 22 Aug 2018 10:19:32 +0200 Walther Neuper isac-jEdit: withdraw inappropriate trial to learn from ML_Lex.read_source changeset | files
Wed, 22 Aug 2018 09:47:46 +0200 Walther Neuper isac-jEdit: intermediately stopped changeset | files
Tue, 03 Jul 2018 12:32:24 +0200 Walther Neuper isac-jEdit: prepare for parsing Isac problems changeset | files
Tue, 03 Jul 2018 08:54:35 +0200 Walther Neuper bridge: create "minor keywords" which can occur within scope of a "majore keyword" changeset | files
Tue, 03 Jul 2018 08:51:57 +0200 Walther Neuper bridge: make example for parsing accessible changeset | files
Sat, 16 Jun 2018 07:45:52 +0200 Walther Neuper bridge: start calculation (command def. without semantics) changeset | files
Sat, 16 Jun 2018 07:42:24 +0200 Walther Neuper bridge: replace strings by cartouches in example changeset | files
Wed, 13 Jun 2018 08:14:26 +0200 Walther Neuper bridge: more suitable command types, probably changeset | files
Tue, 12 Jun 2018 14:53:47 +0200 Walther Neuper partial_function: found examples changeset | files
Tue, 12 Jun 2018 10:25:27 +0200 Walther Neuper bridge: complete list of commands changeset | files
Tue, 12 Jun 2018 08:08:16 +0200 Walther Neuper bridge: comment on templates changeset | files
Mon, 11 Jun 2018 16:28:21 +0200 Walther Neuper bridge: hint by Makarius how to introduce templates changeset | files
Mon, 11 Jun 2018 16:07:53 +0200 Walther Neuper bridge: start with SPARK as a model changeset | files
Sat, 26 May 2018 14:58:37 +0200 Walther Neuper bridge: copy ML scanner to isac scanner changeset | files
Sat, 26 May 2018 14:16:37 +0200 Walther Neuper bridge: Makarius' hints by mail changeset | files
Sat, 26 May 2018 11:26:43 +0200 Walther Neuper bridge: introduce Isabelle/jEdit as Isac front-end, begin changeset | files
Sat, 26 May 2018 11:13:36 +0200 Walther Neuper cleanup Test.thy partially changeset | files
Fri, 18 May 2018 18:32:02 +0200 Walther Neuper rm global ref from Test.thy finally changeset | files
Fri, 18 May 2018 17:59:48 +0200 Walther Neuper partial_function: clean Test.thy partially changeset | files
Wed, 11 Apr 2018 14:44:46 +0200 Walther Neuper partial_function: start cleaning programs, biegelinie for paper changeset | files
Wed, 04 Apr 2018 12:41:03 +0200 Walther Neuper clean theory dependencies, finished: Test_Isac ok changeset | files
Tue, 03 Apr 2018 17:29:54 +0200 Walther Neuper clean theory dependencies, partially changeset | files
Tue, 03 Apr 2018 16:53:18 +0200 Walther Neuper improve test suite changeset | files
Tue, 03 Apr 2018 15:48:39 +0200 Walther Neuper partial_function: Test_Isac OK again changeset | files
Tue, 03 Apr 2018 14:50:58 +0200 Walther Neuper partial_function: shift respective thys to ProgLang changeset | files
Sat, 31 Mar 2018 10:30:17 +0200 Walther Neuper create browser_info changeset | files
Mon, 26 Mar 2018 16:27:43 +0200 Walther Neuper tuned changeset | files
Mon, 26 Mar 2018 16:25:01 +0200 Walther Neuper LibraryC: clean source file done changeset | files
Mon, 26 Mar 2018 14:20:57 +0200 Walther Neuper LibraryC: clean source file, partially changeset | files
Mon, 26 Mar 2018 10:21:19 +0200 Walther Neuper introduce structure LibraryC changeset | files
Mon, 26 Mar 2018 09:27:24 +0200 Walther Neuper Rule + Celem: notes on futher cleanup changeset | files
Mon, 26 Mar 2018 09:20:09 +0200 Walther Neuper Rule: Test_Isac works completely changeset | files
Mon, 26 Mar 2018 07:28:39 +0200 Walther Neuper Rule: structure pushed to code files changeset | files
Sun, 25 Mar 2018 13:59:57 +0200 Walther Neuper Celem: separate structure Rule changeset | files
Sun, 25 Mar 2018 11:57:33 +0200 Walther Neuper Celem: clean source file changeset | files
Sat, 24 Mar 2018 14:41:32 +0100 Walther Neuper Celem: cleanup signature changeset | files
Sat, 24 Mar 2018 14:34:47 +0100 Walther Neuper Celem: Test_Isac works completely changeset | files
Fri, 23 Mar 2018 10:14:39 +0100 Walther Neuper Celem: Test_Isac partially changeset | files
Thu, 15 Mar 2018 15:48:52 +0100 Walther Neuper Celem: tests within imports work, except All_Ctxt changeset | files
Thu, 15 Mar 2018 15:26:06 +0100 Walther Neuper Celem: qualifiers not enforced by Build_Isac (+ previous "tuned") changeset | files
Thu, 15 Mar 2018 14:50:29 +0100 Walther Neuper tuned changeset | files
Thu, 15 Mar 2018 12:45:31 +0100 Walther Neuper tuned changeset | files
Thu, 15 Mar 2018 12:42:04 +0100 Walther Neuper separate structure Celem: CALC_ELEMENT, finished on src/ changeset | files
Thu, 15 Mar 2018 10:17:44 +0100 Walther Neuper separate structure Celem: CALC_ELEMENT, all but Knowledge/ changeset | files
Tue, 13 Mar 2018 15:04:27 +0100 Walther Neuper delete outdated tests and unused funs changeset | files
Tue, 13 Mar 2018 14:41:02 +0100 Walther Neuper TermC: clean test files, Test_Isac OK changeset | files
Tue, 13 Mar 2018 10:46:34 +0100 Walther Neuper TermC: num_str already required in ListC.thy, thus not shifted to Calc. changeset | files
Tue, 13 Mar 2018 10:19:55 +0100 Walther Neuper TermC: gather Calc.funs changeset | files
Tue, 13 Mar 2018 09:09:14 +0100 Walther Neuper TermC: num_str was lost; re-established more than necessary; Test_Isac works changeset | files
Sat, 10 Mar 2018 17:20:15 +0100 Walther Neuper TermC: clean tests, partially changeset | files
Thu, 08 Mar 2018 12:30:46 +0100 Walther Neuper TermC: prep. comparing tests isabisac <--> isabisac15 changeset | files
Thu, 08 Mar 2018 08:04:04 +0100 Walther Neuper these "Pure" are necessary, on of the others caused "Isac.Pure" changeset | files
Thu, 08 Mar 2018 07:52:06 +0100 Walther Neuper TermC: error caused by broken test shows: get_theory "Pure" ... changeset | files
Thu, 08 Mar 2018 07:28:17 +0100 Walther Neuper TermC: push struct to tests, 3 broken and collected in Test_Isac. changeset | files
Wed, 07 Mar 2018 14:20:33 +0100 Walther Neuper TermC: clean source file changeset | files
Wed, 07 Mar 2018 13:15:21 +0100 Walther Neuper TermC: clean source file, partially changeset | files
Wed, 07 Mar 2018 13:04:44 +0100 Walther Neuper TermC: clean source file, partially changeset | files
Fri, 02 Mar 2018 16:36:14 +0100 Walther Neuper tuned changeset | files
Fri, 02 Mar 2018 16:19:02 +0100 Walther Neuper TermC: clean signature, partially changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
wneuper/isa