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
Achim D. Brucker
db83359f88
Bug fix: re-activated support for skipping patching and AFP installation.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-06-29 11:35:13 +01:00
Achim D. Brucker
e191238bb2
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-06-29 11:18:50 +01:00
Achim D. Brucker
58bb191545
Added basic support for eptcs.cls.
...
This commit adds basic support for the LaTeX used by the "Electronic
Proceedings in Theoretical Computer Science." Note that this setup
is not officially supported by Isabelle/DOF due to 1) the overall
quality of eptcs.cls and 2) unclear (hence considered to be non-free)
license of eptcs.cls.
2019-06-29 11:16:17 +01:00
Burkhart Wolff
00f395586e
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-06-29 12:03:49 +02:00
Burkhart Wolff
b439fbb90b
improper bug for meta-args-parser
2019-06-29 11:20:05 +02:00
Achim D. Brucker
c75c9e8836
Removed shorthands for e.g. and i.e..
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
2019-06-29 09:40:19 +01:00