937 Commits

All Branches

Search

Author	SHA1	Message	Date
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
Achim D. Brucker	b81fb547fa	Cleanup.	2019-06-20 21:22:27 +01:00
Burkhart Wolff	6cc76c9d26	workaround on local comment bug	2019-06-20 19:53:59 +02:00
Burkhart Wolff	ef52ab7743	Merge branch 'Isabelle2019' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into Isabelle2019	2019-06-20 12:50:04 +02:00
Burkhart Wolff	4578f22aa5	Critical revision of the patch, and actuvation.	2019-06-20 12:49:01 +02:00
Achim D. Brucker	d1f5a5297a	Removed obsolete -s options from isabelle build.	2019-06-20 09:45:18 +01:00
Burkhart Wolff	30ef0c713d	merge	2019-06-20 10:31:27 +02:00
Burkhart Wolff	d74dcdf713	remerging on 2019 branch	2019-06-20 10:23:00 +02:00
Burkhart Wolff	05c8e52ba4	First attempts for a thy_output patch	2019-06-20 10:16:28 +02:00
Achim D. Brucker	1a9ed995f5	Initial update of used API to Isabelle 2019.	2019-06-18 09:12:13 +01:00
Achim D. Brucker	39afa24591	Migration to Isabelle 2019.	2019-06-18 06:33:41 +01:00
Achim D. Brucker	d7ad9cd51f	Cleanup.	2019-06-17 23:21:03 +01:00
Achim D. Brucker	c7d277b9da	Merged Isabelle2018 to master.	2019-06-17 21:23:36 +01:00