Tue, 19 Feb 2019 19:35:12 +0100 |
Walther Neuper |
[-Test_Isac] funpack: cp program code to partial_function
|
changeset |
files
|
Fri, 15 Feb 2019 16:52:05 +0100 |
Walther Neuper |
funpack: relate body_of, formal_args to prep_program
|
changeset |
files
|
Fri, 15 Feb 2019 14:41:40 +0100 |
Walther Neuper |
funpack: prep_program for partial_function
|
changeset |
files
|
Thu, 14 Feb 2019 20:12:32 +0100 |
Walther Neuper |
funpack: preview to body_of, formal_args for partial_function
|
changeset |
files
|
Thu, 14 Feb 2019 19:47:37 +0100 |
Walther Neuper |
funpack: Compare program terms: from old parsing | from partial_function
|
changeset |
files
|
Tue, 22 Jan 2019 12:08:32 +0100 |
Walther Neuper |
funpack: Test_Isac ok with string constants in programs and tactics
|
changeset |
files
|
Tue, 22 Jan 2019 11:21:08 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Test_Isac ok until Knowledge
|
changeset |
files
|
Tue, 22 Jan 2019 09:33:11 +0100 |
Walther Neuper |
[-Test_Isac] funpack: in programs and spec.terms replace bdv by ''bdv''
|
changeset |
files
|
Mon, 14 Jan 2019 18:29:57 +0100 |
Walther Neuper |
[-Test_Isac] funpack: repaired test/../ctree.sml
|
changeset |
files
|
Mon, 14 Jan 2019 18:18:54 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
Mon, 14 Jan 2019 18:15:19 +0100 |
Walther Neuper |
[-Test_Isac] funpack: repaired test/../rewtools.sml
|
changeset |
files
|
Fri, 11 Jan 2019 15:45:55 +0100 |
Walther Neuper |
[-Test_Isac] add test to Minisubpbl for interSteps
|
changeset |
files
|
Thu, 10 Jan 2019 18:17:48 +0100 |
Walther Neuper |
[-Test_Isac] funpack: adapt substitution to type "char string"
|
changeset |
files
|
Mon, 31 Dec 2018 14:49:16 +0100 |
Walther Neuper |
[-Test_Isac] add an overlooked structure
|
changeset |
files
|
Mon, 31 Dec 2018 14:15:19 +0100 |
Walther Neuper |
[-Test_Isac] funpack: repaired test/../scrtools.sml
|
changeset |
files
|
Wed, 26 Dec 2018 14:24:05 +0100 |
Walther Neuper |
[-Test_Isac] funpack: further replacement ID::type by char string
|
changeset |
files
|
Thu, 20 Dec 2018 18:02:25 +0100 |
Walther Neuper |
[-Test_Isac] funpack: further replacement ID::type by char string
|
changeset |
files
|
Fri, 14 Dec 2018 20:53:15 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Minisubpbl works again
|
changeset |
files
|
Fri, 14 Dec 2018 19:12:30 +0100 |
Walther Neuper |
[-Test_Isac] funpack: prep.no.3 replace ID::type by char string
|
changeset |
files
|
Fri, 14 Dec 2018 18:53:23 +0100 |
Walther Neuper |
[-Test_Isac] funpack: prep.no.2 replace ID::type by char string
|
changeset |
files
|
Fri, 14 Dec 2018 18:46:04 +0100 |
Walther Neuper |
[-Test_Isac] funpack: prep. replace ID::type by char string
|
changeset |
files
|
Wed, 12 Dec 2018 19:52:53 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
Wed, 12 Dec 2018 19:39:51 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Minisubpbl/250-Rewrite_Set-from-method works again
|
changeset |
files
|
Tue, 11 Dec 2018 12:18:28 +0100 |
Walther Neuper |
tuned
|
changeset |
files
|
Tue, 11 Dec 2018 12:17:12 +0100 |
Walther Neuper |
[-Test_Isac] funpack: Minisubpbl/200-start-method works again
|
changeset |
files
|
Tue, 11 Dec 2018 09:26:36 +0100 |
Walther Neuper |
[-Test_Isac] funpack: switch Minisubpbl Script to string constants
|
changeset |
files
|
Thu, 06 Dec 2018 19:22:41 +0100 |
Walther Neuper |
[-Test_Isac] funpack: compare old Minisubpbl Script with new string constants
|
changeset |
files
|
Fri, 30 Nov 2018 15:00:01 +0100 |
Walther Neuper |
[-Test_Isac] funpack: string constants ''xxx'' in partial_function for Minisubpbl
|
changeset |
files
|
Fri, 30 Nov 2018 12:27:18 +0100 |
Walther Neuper |
funpack: rename xxx' to xxxX preparing ''xxxX'' (''xxx''' not accepted by funpack)
|
changeset |
files
|
Thu, 29 Nov 2018 18:09:44 +0100 |
Walther Neuper |
rm unused method
|
changeset |
files
|
Wed, 28 Nov 2018 12:17:42 +0100 |
Walther Neuper |
cleanup leftover
|
changeset |
files
|
Wed, 28 Nov 2018 11:46:00 +0100 |
Walther Neuper |
funpack: separate programs in prep. for partial_function
|
changeset |
files
|
Wed, 21 Nov 2018 12:32:54 +0100 |
Walther Neuper |
update to new Isabelle conventions: {*...*} to \<open>...\<close>
|
changeset |
files
|
Wed, 05 Sep 2018 18:09:56 +0200 |
Walther Neuper |
/----- finish update Isabelle2017->18: for Test_Isac.thy
|
changeset |
files
|
Wed, 05 Sep 2018 15:34:39 +0200 |
Walther Neuper |
Isabelle2017->18: use libisabelle as separate session
|
changeset |
files
|
Tue, 04 Sep 2018 14:50:30 +0200 |
Walther Neuper |
Isabelle2017->18: add libisabelle, PROBLEM with session management:
|
changeset |
files
|
Wed, 29 Aug 2018 11:27:22 +0200 |
Walther Neuper |
------ finish update Isabelle2017 --> Isabelle2018 for Test_Isac.thy
|
changeset |
files
|
Wed, 29 Aug 2018 11:24:41 +0200 |
Walther Neuper |
Isabelle2017->18: in term language "op" replaced by "lambda"
|
changeset |
files
|
Tue, 28 Aug 2018 14:04:25 +0200 |
Walther Neuper |
Isabelle2017->18: intermediate repair cf. 7b2998e11662
|
changeset |
files
|
Tue, 28 Aug 2018 13:34:22 +0200 |
Walther Neuper |
Isabelle2017->18: adapt to more rigorous session handling
|
changeset |
files
|
Tue, 28 Aug 2018 11:34:55 +0200 |
Walther Neuper |
Isabelle2017->18: avoid libisabelle ERROR in ROOT, cf.7b2998e11662
|
changeset |
files
|
Mon, 27 Aug 2018 17:14:23 +0200 |
Walther Neuper |
Isabelle2017->18: Test_Isac.thy for request at isabelle-users@
|
changeset |
files
|
Mon, 27 Aug 2018 15:57:45 +0200 |
Walther Neuper |
sabelle2017->18: for Test_Isac.thy minor changes
|
changeset |
files
|
Fri, 24 Aug 2018 14:23:13 +0200 |
Walther Neuper |
Isabelle2017->18: for Test_Isac.thy adopt new comments
|
changeset |
files
|
Fri, 24 Aug 2018 13:05:00 +0200 |
Walther Neuper |
Isabelle2017->18: for Test_Isac.thy adapt new form of imports
|
changeset |
files
|
Thu, 23 Aug 2018 17:23:11 +0200 |
Walther Neuper |
/----- finish update Isabelle2017 --> Isabelle2018
|
changeset |
files
|
Thu, 23 Aug 2018 17:20:37 +0200 |
Walther Neuper |
Isabelle2017->18: bypass libisabelle (search libisabelle_DUMMY), Build_Isac.thy OK
|
changeset |
files
|
Thu, 23 Aug 2018 11:01:03 +0200 |
Walther Neuper |
Isabelle2017->18: ProgLang, Interpret compile
|
changeset |
files
|
Thu, 23 Aug 2018 09:42:19 +0200 |
Walther Neuper |
Isabelle2017->18: Pure and HOL build with updated thm.ML
|
changeset |
files
|
Thu, 23 Aug 2018 09:38:26 +0200 |
Walther Neuper |
Isabelle20XX->YY: insert Isac's hooks in ~~/src/Pure/thm.ML
|
changeset |
files
|
Thu, 23 Aug 2018 09:28:04 +0200 |
Walther Neuper |
Isabelle2017->18: separate appearance of Isac from Isabelle
|
changeset |
files
|
Wed, 22 Aug 2018 15:44:30 +0200 |
Walther Neuper |
Isabelle20XX->YY: notify Isabelle about Isac
|
changeset |
files
|
Wed, 22 Aug 2018 15:42:55 +0200 |
Walther Neuper |
Isabelle2017->18: specify root for ~/.isabelle/
|
changeset |
files
|
Wed, 22 Aug 2018 14:44:15 +0200 |
Walther Neuper |
\----- start update Isabelle2017 --> Isabelle2018
|
changeset |
files
|
Wed, 22 Aug 2018 12:47:53 +0200 |
Walther Neuper |
Added tag isabisac17 for changeset 5535bdba43b6
|
changeset |
files
|
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
|