Achim D. Brucker
|
3d01c5faf8
|
Cleanup.
|
2019-07-20 12:37:21 +01:00 |
Achim D. Brucker
|
4f911f3a23
|
Cleanup.
|
2019-07-20 12:02:05 +01:00 |
Achim D. Brucker
|
00651b385e
|
Cleanup.
|
2019-07-20 12:01:33 +01:00 |
Achim D. Brucker
|
55b980d984
|
Cleanup.
|
2019-07-20 11:44:09 +01:00 |
Achim D. Brucker
|
b324d599a1
|
Cleanup.
|
2019-07-20 11:35:30 +01:00 |
Achim D. Brucker
|
38bd13d7d0
|
Cleanup.
|
2019-07-20 11:27:44 +01:00 |
Achim D. Brucker
|
a2d8ee9e6b
|
Merged the two theories for testing attribute related features.
|
2019-07-20 11:23:41 +01:00 |
Achim D. Brucker
|
5ef2c756cc
|
Cleanup.
|
2019-07-20 11:09:43 +01:00 |
Achim D. Brucker
|
c69c61407e
|
Cleanup.
|
2019-07-20 10:55:22 +01:00 |
Achim D. Brucker
|
189baf9f27
|
Updated command line parameters of DOF_mkroot.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-20 00:23:01 +01:00 |
Achim D. Brucker
|
804a3566cc
|
Updated command line parameters of DOF_mkroot.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-20 00:11:03 +01:00 |
Achim D. Brucker
|
e450a45c71
|
Code cleanup.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-19 23:55:15 +01:00 |
Achim D. Brucker
|
932b19f93d
|
Cleanup.
|
2019-07-19 23:44:49 +01:00 |
Achim D. Brucker
|
2b92d5d258
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-19 23:33:18 +01:00 |
Achim D. Brucker
|
b547d0cae8
|
Print messages to stderr to ensure visibility in logs.
|
2019-07-19 23:32:26 +01:00 |
Achim D. Brucker
|
54718131e5
|
Port to Isabelle 2019.
|
2019-07-19 23:30:40 +01:00 |
Burkhart Wolff
|
00877b728e
|
regexps
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-19 16:24:47 +02:00 |
Burkhart Wolff
|
e74df1be4d
|
doc_class syntax
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-19 15:36:11 +02:00 |
Burkhart Wolff
|
44395aff2e
|
subsection on the HOL modeling context
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-19 14:44:12 +02:00 |
Burkhart Wolff
|
6c1ed8af85
|
Introducing parts from SEFM, restructuring
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-18 22:40:55 +02:00 |
Burkhart Wolff
|
c181c2851c
|
Added first somewhat realistic syntax on annotated text elements
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 21:10:18 +02:00 |
Burkhart Wolff
|
1704c17776
|
New Structure discussed with adb, different shot in intro, ref to SEFM paper, first railroad dgm
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 19:08:59 +02:00 |
Burkhart Wolff
|
30acb3be09
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 16:08:53 +02:00 |
Burkhart Wolff
|
a28ceb98eb
|
New LaTeX chapter introduced. Structuring proposal
|
2019-07-17 16:06:55 +02:00 |
Burkhart Wolff
|
62cf2264a2
|
new config of the document
|
2019-07-17 15:41:03 +02:00 |
Achim D. Brucker
|
9608575aff
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit
Details
|
2019-07-17 14:25:38 +01:00 |
Achim D. Brucker
|
fc12e49365
|
Write messages to stdout to make them occur in the Isabelle log.
|
2019-07-17 14:25:22 +01:00 |
Burkhart Wolff
|
67d6caf2ad
|
Reworked/Synced Background chapter with SEFM paper
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit
Details
|
2019-07-17 14:51:45 +02:00 |
Burkhart Wolff
|
5ff3217493
|
Internal Layout Polishing
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 10:47:25 +02:00 |
Burkhart Wolff
|
869644e3b5
|
Proof Example
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 10:24:41 +02:00 |
Burkhart Wolff
|
4c4194d468
|
Proof Example
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 10:21:34 +02:00 |
Burkhart Wolff
|
4329bd2602
|
A little more explanations, more ontolgical control
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-17 08:23:54 +02:00 |
Burkhart Wolff
|
58c31b59e8
|
completed first draft. Checks till page 47.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-16 19:33:24 +02:00 |
Burkhart Wolff
|
a7f6ab4fbd
|
Para on Antiquotation Registration
|
2019-07-16 16:40:40 +02:00 |
Burkhart Wolff
|
6f2dabbdd2
|
Markup section aufgeraeumt.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-15 17:56:13 +02:00 |
Burkhart Wolff
|
8acd482b96
|
Continued pass till pp 36.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-15 17:45:46 +02:00 |
Burkhart Wolff
|
e9a353919f
|
Renommage, reord of 2 snd TR report. Arrived at page 26
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-15 17:14:11 +02:00 |
Burkhart Wolff
|
f2bb4f6e31
|
Modifications / evolutions for the second TR example.
Arrived at page 34.
|
2019-07-15 17:12:10 +02:00 |
Achim D. Brucker
|
6a1af31529
|
Removed relative imports in all non-trivial examples.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-12 20:20:02 +01:00 |
Burkhart Wolff
|
9c21b7a89a
|
restructuring intro
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-12 16:32:19 +02:00 |
Burkhart Wolff
|
91b962bce2
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-12 16:17:32 +02:00 |
Burkhart Wolff
|
859e1392ec
|
excluding Isadof from programming manual
|
2019-07-12 16:17:22 +02:00 |
Achim D. Brucker
|
ade0dc70cd
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-05 16:09:59 +01:00 |
Achim D. Brucker
|
0d4e0fb4d0
|
Added SEFM publication.
|
2019-07-05 16:09:34 +01:00 |
Burkhart Wolff
|
6254468971
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-03 11:30:24 +02:00 |
Burkhart Wolff
|
0e7f3c4cdc
|
locals
|
2019-07-03 11:30:18 +02:00 |
Achim D. Brucker
|
4ed22b6951
|
Added missing commands for i.e and e.g..
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-02 06:15:43 +01:00 |
Achim D. Brucker
|
6534c36375
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit
Details
|
2019-07-02 05:33:22 +01:00 |
Achim D. Brucker
|
15993c6536
|
Bug fix: fixed label/ref generation.
|
2019-07-02 05:30:24 +01:00 |
Burkhart Wolff
|
a52639655f
|
another attempt to solve the performance bug
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-07-01 12:40:11 +02:00 |