742 Commits

All Branches

Search

Author	SHA1	Message	Date
Achim D. Brucker	c5413107af	Added Isabelle/DOF logo.	2019-07-22 15:07:59 +01:00
Achim D. Brucker	a644634cf9	Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2019-07-22 14:41:53 +01:00
Achim D. Brucker	281cb5541c	Fixed naming inconsistency.	2019-07-22 14:41:29 +01:00
Burkhart Wolff	856f652082	added sections on conservative term programming and a definition example as specification construct	2019-07-22 15:37:47 +02:00
Achim D. Brucker	c3dcb1ba2a	Improved markdown.	2019-07-21 17:05:27 +01:00
Achim D. Brucker	ecbb18fac8	Added license information.	2019-07-21 16:47:33 +01:00
Achim D. Brucker	c22824e617	Updted default layout for technical reports.	2019-07-21 16:45:50 +01:00
Achim D. Brucker	f734c0eb5e	Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2019-07-21 16:15:02 +01:00
Achim D. Brucker	6f574e49d5	Updated author information.	2019-07-21 16:14:42 +01:00
Achim D. Brucker	c5a6d686c8	Removed availability information.	2019-07-21 16:14:32 +01:00
Achim D. Brucker	432d2f0ba3	Updated listings setup.	2019-07-21 16:02:46 +01:00
Burkhart Wolff	36ff213103	more experiments	2019-07-21 16:35:08 +02:00
Burkhart Wolff	f3c5aed97a	more experiments	2019-07-21 16:26:33 +02:00
Burkhart Wolff	869a1d6729	more experiments	2019-07-21 16:18:14 +02:00
Burkhart Wolff	b88031ec27	Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2019-07-21 16:07:01 +02:00
Burkhart Wolff	269623ab74	added experiment with cartouche syntax ...	2019-07-21 16:06:51 +02:00
Achim D. Brucker	19c8963abd	Updated lstisadof.sty.	2019-07-21 10:41:06 +01:00
Achim D. Brucker	eef387198a	Updated URL of Isabelle/DOF repository.	2019-07-21 10:22:06 +01:00
Achim D. Brucker	d1f55e7f30	Do not include checking instructions in PDF.	2019-07-21 10:21:37 +01:00
Achim D. Brucker	5e59cf737b	Updated descriptions of templates.	2019-07-21 10:13:51 +01:00
Achim D. Brucker	df3e3bd3c3	Updated copyright information.	2019-07-21 09:58:41 +01:00
Achim D. Brucker	0c158450b6	Updated copyright information.	2019-07-21 09:57:51 +01:00
Achim D. Brucker	ee574cdf99	Removed non-supported sty-file generation.	2019-07-21 09:43:36 +01:00
Achim D. Brucker	92f8fa5c25	Fixed naming inconsistency (cenelec vs. CENELEC_50128).	2019-07-20 22:39:06 +01:00
Achim D. Brucker	869f1615cd	Remove old output directories.	2019-07-20 22:30:31 +01:00
Achim D. Brucker	8148b7fc38	Improved help message.	2019-07-20 22:00:40 +01:00
Achim D. Brucker	6fd22a071f	Resolved naming inconsistency (mathex_onto vs. math_exam).	2019-07-20 21:51:55 +01:00
Achim D. Brucker	8953f37629	Large directory restructuring. ... This commit restructures the file hierarchy: 1) implementation is moved into src/ directory to clean up the main directory and to make it easier for users to find the README.md. 2) ontologies (both, the Isabelle-part and the LaTeX-part) are now structured into directories.	2019-07-20 21:12:40 +01:00
Achim D. Brucker	f8013d90a2	Updated Isar notation.	2019-07-20 16:08:47 +01:00
Achim D. Brucker	8f22b53b18	Renamed document-template directory to document-templates.	2019-07-20 15:40:17 +01:00
Achim D. Brucker	183c64eb0f	Moved build script into separate directory.	2019-07-20 15:34:16 +01:00
Achim D. Brucker	e6cea1156c	Activated MathExam.	2019-07-20 15:30:13 +01:00
Achim D. Brucker	7f8ea1c115	Removed outdated BAC2017 example.	2019-07-20 15:15:04 +01:00
Achim D. Brucker	a85bcacd5b	Moved unit tests into tests directory and added test session.	2019-07-20 14:54:31 +01:00
Achim D. Brucker	189110dc0f	Cleanup.	2019-07-20 12:43:58 +01:00
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.	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