699 Commits

All Branches

Search

Author	SHA1	Message	Date
Achim D. Brucker	c69c61407e	Cleanup.	2019-07-20 10:55:22 +01:00
Achim D. Brucker	189baf9f27	Updated command line parameters of DOF_mkroot.	2019-07-20 00:23:01 +01:00
Achim D. Brucker	804a3566cc	Updated command line parameters of DOF_mkroot.	2019-07-20 00:11:03 +01:00
Achim D. Brucker	e450a45c71	Code cleanup.	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	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	2019-07-19 16:24:47 +02:00
Burkhart Wolff	e74df1be4d	doc_class syntax	2019-07-19 15:36:11 +02:00
Burkhart Wolff	44395aff2e	subsection on the HOL modeling context	2019-07-19 14:44:12 +02:00
Burkhart Wolff	6c1ed8af85	Introducing parts from SEFM, restructuring	2019-07-18 22:40:55 +02:00
Burkhart Wolff	c181c2851c	Added first somewhat realistic syntax on annotated text elements	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	2019-07-17 19:08:59 +02:00
Burkhart Wolff	30acb3be09	Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	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	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	2019-07-17 14:51:45 +02:00
Burkhart Wolff	5ff3217493	Internal Layout Polishing	2019-07-17 10:47:25 +02:00
Burkhart Wolff	869644e3b5	Proof Example	2019-07-17 10:24:41 +02:00
Burkhart Wolff	4c4194d468	Proof Example	2019-07-17 10:21:34 +02:00
Burkhart Wolff	4329bd2602	A little more explanations, more ontolgical control	2019-07-17 08:23:54 +02:00
Burkhart Wolff	58c31b59e8	completed first draft. Checks till page 47.	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.	2019-07-15 17:56:13 +02:00
Burkhart Wolff	8acd482b96	Continued pass till pp 36.	2019-07-15 17:45:46 +02:00
Burkhart Wolff	e9a353919f	Renommage, reord of 2 snd TR report. Arrived at page 26	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.	2019-07-12 20:20:02 +01:00
Burkhart Wolff	9c21b7a89a	restructuring intro	2019-07-12 16:32:19 +02:00
Burkhart Wolff	91b962bce2	Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	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	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	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..	2019-07-02 06:15:43 +01:00
Achim D. Brucker	6534c36375	Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	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	2019-07-01 12:40:11 +02:00
Achim D. Brucker	db83359f88	Bug fix: re-activated support for skipping patching and AFP installation.	2019-06-29 11:35:13 +01:00
Achim D. Brucker	e191238bb2	Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	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	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..	2019-06-29 09:40:19 +01:00
Achim D. Brucker	a65f0b7e09	Merge branch 'Isabelle2019'	2019-06-22 11:09:37 +01:00
Achim D. Brucker	31e1abeaea	Port to Isabelle 2019.	2019-06-21 06:33:49 +01:00