| Thu, 08 Oct 2020 10:05:33 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Wed, 07 Oct 2020 17:47:18 +0200 |
Walther Neuper |
cp non-recursive problem parser from Test_Parse_Isac to parseC.sml
|
changeset |
files
|
| Wed, 07 Oct 2020 12:15:31 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Wed, 07 Oct 2020 11:52:54 +0200 |
Walther Neuper |
resume parsers for shifting Isac inbetween Isabelle/jEdit and Isabelle/HOL
|
changeset |
files
|
| Wed, 07 Oct 2020 10:02:42 +0200 |
Walther Neuper |
/----- finish update Isabelle2019 --> Isabelle2020 for Test_Isac_Short.thy
|
changeset |
files
|
| Wed, 07 Oct 2020 09:57:35 +0200 |
Walther Neuper |
Isabelle2019->20: adapt to new handling of quotes in mixfix, finished
|
changeset |
files
|
| Wed, 07 Oct 2020 09:45:07 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Wed, 07 Oct 2020 09:31:10 +0200 |
Walther Neuper |
Isabelle2019->20: adapt to new session requirements continued
|
changeset |
files
|
| Tue, 06 Oct 2020 12:44:42 +0200 |
Walther Neuper |
Isabelle2019->20: session Isac works again
|
changeset |
files
|
| Tue, 06 Oct 2020 12:42:25 +0200 |
Walther Neuper |
Isabelle2019->20: adapt to new handling of quotes in mixfix
|
changeset |
files
|
| Mon, 05 Oct 2020 12:22:51 +0200 |
Walther Neuper |
cleanup CLEANUP
|
changeset |
files
|
| Mon, 05 Oct 2020 12:16:16 +0200 |
Walther Neuper |
Isabelle2019->20: adapt to new session requirements
|
changeset |
files
|
| Mon, 05 Oct 2020 12:05:10 +0200 |
Walther Neuper |
Isabelle2019->20: strange error in Biegelinie, tackled later
|
changeset |
files
|
| Mon, 05 Oct 2020 11:35:42 +0200 |
Walther Neuper |
tests on new session requirements
|
changeset |
files
|
| Sat, 03 Oct 2020 15:58:57 +0200 |
Walther Neuper |
revise .hgignore (NOT working as expected)
|
changeset |
files
|
| Fri, 25 Sep 2020 10:15:33 +0200 |
Walther Neuper |
bypass checking Doc/Lucas_Interpreter
|
changeset |
files
|
| Thu, 24 Sep 2020 15:48:52 +0200 |
Walther Neuper |
adopt new field inf Thm record, finished
|
changeset |
files
|
| Thu, 24 Sep 2020 13:11:51 +0200 |
Walther Neuper |
adopt new field inf Thm record
|
changeset |
files
|
| Thu, 24 Sep 2020 12:58:31 +0200 |
Walther Neuper |
Isabelle2019->20: Pure and HOL build with updated thm.ML
|
changeset |
files
|
| Thu, 24 Sep 2020 12:56:19 +0200 |
Walther Neuper |
Isabelle2019->20: notify Isabelle about Isac sessions
|
changeset |
files
|
| Wed, 23 Sep 2020 16:28:56 +0200 |
Walther Neuper |
Isabelle2019->20: insert Isac's hooks in ~~/src/Pure/thm.ML
|
changeset |
files
|
| Wed, 23 Sep 2020 15:50:06 +0200 |
Walther Neuper |
Isabelle2019->20: separate appearance of Isac from Isabelle
|
changeset |
files
|
| Wed, 23 Sep 2020 15:36:17 +0200 |
Walther Neuper |
Isabelle2019->20: define storage for installation-specific settings
|
changeset |
files
|
| Wed, 23 Sep 2020 15:18:07 +0200 |
Walther Neuper |
\----- start update Isabelle2019 --> Isabelle2020
|
changeset |
files
|
| Wed, 23 Sep 2020 15:01:00 +0200 |
Walther Neuper |
Added tag isabisac19 for changeset f63c28616326
|
changeset |
files
|
| Wed, 23 Sep 2020 14:54:38 +0200 |
Walther Neuper |
final isabisac19 on Isabelle2019
isabisac19
|
changeset |
files
|
| Tue, 22 Sep 2020 17:56:12 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Tue, 22 Sep 2020 17:54:56 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Tue, 22 Sep 2020 17:53:35 +0200 |
Walther Neuper |
add Makarius' new theory_commands,
|
changeset |
files
|
| Tue, 22 Sep 2020 15:54:42 +0200 |
Walther Neuper |
add Makarius' new theory_text
|
changeset |
files
|
| Sat, 05 Sep 2020 15:25:30 +0200 |
Walther Neuper |
reset hacking Pure
|
changeset |
files
|
| Sat, 05 Sep 2020 14:50:01 +0200 |
Walther Neuper |
trial 2 including problem parser into ISAC ?Problem..?
|
changeset |
files
|
| Wed, 02 Sep 2020 17:40:02 +0200 |
Walther Neuper |
separate investigation of Outer_Syntax... to Check_Outer_Syntax.thy
|
changeset |
files
|
| Mon, 31 Aug 2020 12:05:37 +0200 |
Walther Neuper |
trial 1 including problem parser into ISAC ?Problem..?
|
changeset |
files
|
| Sun, 30 Aug 2020 16:21:32 +0200 |
Walther Neuper |
hacking Pure (HOL fails!) to investigate handling of <> in ISAC <>
|
changeset |
files
|
| Sun, 30 Aug 2020 11:46:43 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Sat, 29 Aug 2020 18:34:48 +0200 |
Walther Neuper |
unify investigation of Outer_Syntax.command and Outer_Syntax.local_theory
|
changeset |
files
|
| Sat, 29 Aug 2020 14:35:29 +0200 |
Walther Neuper |
cleanup Test_Parse_Isac
|
changeset |
files
|
| Sat, 29 Aug 2020 13:43:50 +0200 |
Walther Neuper |
parse Problem with final_result, collapsed
|
changeset |
files
|
| Sat, 29 Aug 2020 13:17:01 +0200 |
Walther Neuper |
make parse body optional
|
changeset |
files
|
| Sat, 29 Aug 2020 12:52:55 +0200 |
Walther Neuper |
introduce parse body
|
changeset |
files
|
| Sat, 29 Aug 2020 12:04:53 +0200 |
Walther Neuper |
cleanup Test_Parse_Isac
|
changeset |
files
|
| Fri, 28 Aug 2020 12:12:57 +0200 |
Walther Neuper |
compare Outer_Syntax.command with ..local_theory (from Naproche), continued
|
changeset |
files
|
| Fri, 14 Aug 2020 12:36:33 +0200 |
Walther Neuper |
compare Outer_Syntax.command with Outer_Syntax.local_theory (from Naproche)
|
changeset |
files
|
| Sun, 02 Aug 2020 12:32:34 +0200 |
Walther Neuper |
shift code from Test_Parse_Isac to src/
|
changeset |
files
|
| Sat, 01 Aug 2020 13:54:53 +0200 |
Walther Neuper |
parse specification supports collapsing references
|
changeset |
files
|
| Fri, 31 Jul 2020 16:52:18 +0200 |
Walther Neuper |
parse problem close to recursive version
|
changeset |
files
|
| Fri, 31 Jul 2020 15:28:08 +0200 |
Walther Neuper |
test already shiftes to Test_Parsers
|
changeset |
files
|
| Fri, 31 Jul 2020 12:21:34 +0200 |
Walther Neuper |
prep.2 recursion Problem .. Solution
|
changeset |
files
|
| Tue, 28 Jul 2020 16:17:42 +0200 |
Walther Neuper |
prep. recursion Problem .. Solution
|
changeset |
files
|
| Wed, 22 Jul 2020 14:45:22 +0200 |
Walther Neuper |
add empty specification to Test_Parse_Isac
|
changeset |
files
|
| Wed, 22 Jul 2020 12:10:44 +0200 |
Walther Neuper |
remove errors in Test_Parse_Isac
|
changeset |
files
|
| Mon, 20 Jul 2020 17:54:21 +0200 |
Walther Neuper |
better naming for input strings
|
changeset |
files
|
| Mon, 20 Jul 2020 14:46:38 +0200 |
Walther Neuper |
separate Test_Parse_Isac
|
changeset |
files
|
| Mon, 20 Jul 2020 12:21:37 +0200 |
Walther Neuper |
tuned
|
changeset |
files
|
| Mon, 20 Jul 2020 12:19:59 +0200 |
Walther Neuper |
test parse whole Problem OK, collapsing not
|
changeset |
files
|
| Sat, 18 Jul 2020 16:38:58 +0200 |
Walther Neuper |
test parse specification OK
|
changeset |
files
|
| Sat, 18 Jul 2020 14:53:01 +0200 |
Walther Neuper |
test Scan.optional successful
|
changeset |
files
|
| Fri, 17 Jul 2020 14:48:41 +0200 |
Walther Neuper |
prep. test Scan.optional
|
changeset |
files
|
| Fri, 17 Jul 2020 11:48:29 +0200 |
Walther Neuper |
reorganise section
|
changeset |
files
|