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, 03 Sep 2019 15:24:39 +0200 Walther Neuper Added tag isabisac18 for changeset 4c7b3eec7375 changeset | files
Tue, 03 Sep 2019 15:24:24 +0200 Walther Neuper final isabisac18 on Isabelle2018 isabisac18 changeset | files
Tue, 03 Sep 2019 12:40:27 +0200 Walther Neuper lucin: reorganise theories in ProgLang changeset | files
Thu, 29 Aug 2019 13:52:47 +0200 Walther Neuper prep. re-organisation of thys in ProgLang changeset | files
Thu, 29 Aug 2019 10:59:57 +0200 Walther Neuper separate Prog_Tac.thy changeset | files
Wed, 28 Aug 2019 11:21:26 +0200 Walther Neuper reorganised MathEngine/ BridgeLibisabelle/ changeset | files
Wed, 28 Aug 2019 07:08:25 +0200 Walther Neuper collect code with explicit reference to "Input_Descript".thy changeset | files
Tue, 27 Aug 2019 18:05:54 +0200 Walther Neuper revert comments cf.8e357be69082 changeset | files
Tue, 27 Aug 2019 18:03:33 +0200 Walther Neuper assign Input_Descript to Specify/-phase changeset | files
Tue, 27 Aug 2019 15:32:38 +0200 Walther Neuper tuned changeset | files
Tue, 27 Aug 2019 15:31:45 +0200 Walther Neuper [-Test_Isac ONLY biegelinie-1.sml] assign Input_Descript to Specify/-phase changeset | files
Tue, 27 Aug 2019 11:59:48 +0200 Walther Neuper separate Specify/ from Interpret/ changeset | files
Tue, 27 Aug 2019 10:35:39 +0200 Walther Neuper some TODO.thy changeset | files
Mon, 26 Aug 2019 17:40:27 +0200 Walther Neuper rename Isac.thy --> Isac_Knowledge.thy changeset | files
Mon, 26 Aug 2019 09:20:07 +0200 Walther Neuper cleanup Tools.thy, Descript.thy, Atools.thy changeset | files
Sat, 24 Aug 2019 13:16:17 +0200 Walther Neuper remove double of setup changeset | files
Sat, 24 Aug 2019 12:59:39 +0200 Walther Neuper now Test_Isac works (the last 2 changesets do NOT) changeset | files
Sat, 24 Aug 2019 12:31:48 +0200 Walther Neuper cleanup changeset | files
Fri, 23 Aug 2019 17:23:25 +0200 Walther Neuper remove Delete.thy changeset | files
Fri, 23 Aug 2019 16:36:47 +0200 Walther Neuper collect all defitions for both, ProgLang/ & Interpret/ changeset | files
Thu, 22 Aug 2019 16:48:04 +0200 Walther Neuper lucin: rename Script --> Program changeset | files
Thu, 22 Aug 2019 15:56:48 +0200 Walther Neuper lucin: pair relevant args. in associate changeset | files
Thu, 22 Aug 2019 12:18:58 +0200 Walther Neuper lucin: renaming from "script" to "program" changeset | files
Thu, 22 Aug 2019 11:26:14 +0200 Walther Neuper lucin: clarify initialisation of ctxt by ContextC.initialise, initialise' changeset | files
Thu, 22 Aug 2019 10:27:02 +0200 Walther Neuper shift e_ctxt Selem. --> ContextC. changeset | files
Thu, 15 Aug 2019 15:01:42 +0200 Walther Neuper formalisation robust against order of Variable.declare_constraints changeset | files
Tue, 13 Aug 2019 19:33:09 +0200 Walther Neuper lucin: repair [Text_Isac/../inverse_z_transform.sml] changeset | files
Tue, 13 Aug 2019 09:19:33 +0200 Walther Neuper [Text_Isac/../inverse_z_transform.sml] lucin: prep. "fun associate" for sig. locate_input_tactic changeset | files
Fri, 09 Aug 2019 14:04:13 +0200 Walther Neuper separater structure ContextC changeset | files
Wed, 31 Jul 2019 09:46:50 +0200 Walther Neuper abstract code to common function changeset | files
Fri, 26 Jul 2019 16:34:41 +0200 Walther Neuper lucin: prep. test for further improving sig. for locate_input_tactic changeset | files
Wed, 24 Jul 2019 18:22:15 +0200 Walther Neuper reorganise TODO.thy changeset | files
Wed, 24 Jul 2019 15:28:11 +0200 Walther Neuper lucin: rename assod --> associate changeset | files
Wed, 24 Jul 2019 11:30:59 +0200 Walther Neuper lucin: separate interpreter-state and improve type-identifier changeset | files
Wed, 24 Jul 2019 10:35:19 +0200 Walther Neuper lucin: improve type-identifiers for signatures changeset | files
Wed, 24 Jul 2019 09:48:39 +0200 Walther Neuper tuned such that Test_Isac.thy runs with previous changeset changeset | files
Wed, 24 Jul 2019 09:32:17 +0200 Walther Neuper lucin: improve signature of "fun locate_input_tactic" changeset | files
Thu, 11 Jul 2019 16:39:46 +0200 Walther Neuper add update for istate, ctxt to Ctree changeset | files
Fri, 05 Jul 2019 13:47:21 +0200 Walther Neuper lucin: for "fun locate_input_tactic" remove thy + replace by "Isac" in calls changeset | files
Thu, 04 Jul 2019 16:13:03 +0200 Walther Neuper lucin: adapt signature of "fun determine_next_tactic", postponed (see Test_Some, TODO.thy) changeset | files
Thu, 04 Jul 2019 15:13:30 +0200 Walther Neuper lucin: tuned changeset | files
Wed, 03 Jul 2019 17:17:55 +0200 Walther Neuper lucin: new lucas-interpreter in comments changeset | files
Wed, 03 Jul 2019 15:30:31 +0200 Walther Neuper lucin: rename scr --> program changeset | files
Wed, 03 Jul 2019 15:09:16 +0200 Walther Neuper lucin: fix Test_Isac, rename aux-funs in lucas-interpreter. changeset | files
Tue, 25 Jun 2019 16:21:18 +0200 Walther Neuper lucin: adapt tests to new file src/../lucas-interpreter.sml changeset | files
Tue, 25 Jun 2019 12:56:54 +0200 Walther Neuper tuned changeset | files
Tue, 25 Jun 2019 12:48:24 +0200 Walther Neuper lucin: rename 3 main functions of lucase-interpreter.sml changeset | files
Tue, 25 Jun 2019 10:46:20 +0200 Walther Neuper record hints from Isabelle mailing list changeset | files
Tue, 25 Jun 2019 10:27:14 +0200 Walther Neuper lucin: shift "locate input tactic" into lucas-interpreter.sml" changeset | files
Mon, 24 Jun 2019 15:53:50 +0200 Walther Neuper repair Test_Isac for previous change set changeset | files
Mon, 24 Jun 2019 14:44:51 +0200 Walther Neuper lucin: shift "locate input formula" into lucas-interpreter.sml changeset | files
Mon, 24 Jun 2019 14:02:39 +0200 Walther Neuper [-Test_Isac] lucin: shift "find next tactic" into lucas-interpreter.sml changeset | files
Sun, 23 Jun 2019 14:44:00 +0200 Walther Neuper introduce Test_Isac_Short.thy changeset | files
Sun, 23 Jun 2019 14:23:09 +0200 Walther Neuper funpack: remove remainings of Script, finished. changeset | files
Sat, 22 Jun 2019 14:34:06 +0200 Walther Neuper funpack: remove code unnecessary after switch to partial_function, partially changeset | files
Sat, 22 Jun 2019 13:15:52 +0200 Walther Neuper funpack: repair remaining test/../partial_fractions.sml, inverse_z_transform.sml changeset | files
Sat, 01 Jun 2019 11:09:19 +0200 Walther Neuper [-Test_Isac] funpack: repair errors in test, spot remaining errors changeset | files
Thu, 30 May 2019 12:39:13 +0200 Walther Neuper [-Test_Isac] re-use formal_args, cleanup sig changeset | files
Thu, 30 May 2019 12:04:55 +0200 Walther Neuper [-Test_Isac] funpack: switch auto-generated programs to partial_function changeset | files
Wed, 29 May 2019 14:22:31 +0200 Walther Neuper [-Test_Isac] funpack: switched also fun formal_args changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
wneuper/isa