448 Commits

Author	SHA1	Message	Date
Achim D. Brucker	fdd9509eac	Remove and ignore autogenerated file.	2019-08-17 10:23:41 +01:00
Burkhart Wolff	dc15a31db6	removed awkward sentence.	2019-08-17 11:07:08 +02:00
Achim D. Brucker	c34b13ba2f	Reverted 7aefbde58b.	2019-08-17 09:40:25 +01:00
Burkhart Wolff	7aefbde58b	typos, and a more general abstract.	2019-08-17 10:23:16 +02:00
Achim D. Brucker	60ebbbe12c	Updated license information.	2019-08-15 15:09:55 +01:00
Achim D. Brucker	6cd8cb098b	Updated license information.	2019-08-15 14:52:15 +01:00
Achim D. Brucker	22529362a1	Update version information during installation.	2019-08-15 14:37:04 +01:00
Burkhart Wolff	6e44230efb	Updated COL section ...	2019-08-15 11:30:42 +02:00
Burkhart Wolff	8a3622c125	Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF	2019-08-14 17:23:08 +02:00
Burkhart Wolff	b5fe2d9085	Solution to the assert - Bug : stronger checks in doc_class that reject correctly constructed, but lexically illegal long_names for doc_classes.	2019-08-14 17:22:55 +02:00
Achim D. Brucker	731ba1c1e4	Use Isabelle/DOF URL from config file.	2019-08-13 09:46:20 +01:00
Achim D. Brucker	b1d4abbf48	Introduced \dofurl.	2019-08-12 08:28:16 +01:00
Achim D. Brucker	f71706e67d	Renamed base url to artifact url.	2019-08-12 07:51:22 +01:00
Achim D. Brucker	332daa1ebb	Removed outdated and unsupported gen_sty_template.	2019-08-11 22:26:17 +01:00
Achim D. Brucker	6198602740	Moved \bibliographystyle{} to the top of the template to allow overriding it in preample.tex	2019-08-11 09:21:17 +01:00
Achim D. Brucker	5f692fa526	Fixed error message still refering to scholarly paper (instead of technical report) ontology.	2019-08-04 22:54:46 +01:00
Achim D. Brucker	6e6c4a81cb	Updated Isabelle/DOF repository URL.	2019-08-04 22:47:52 +01:00
Achim D. Brucker	e63e07cb1c	Improved autref configuration.	2019-08-04 18:11:48 +01:00
Achim D. Brucker	a7418304ed	Added support for \isabellefullversion and \isabelleurl.	2019-08-04 13:25:56 +01:00
Achim D. Brucker	5a532ec973	Use scrartcl as default LaTeX class.	2019-08-04 13:25:14 +01:00
Achim D. Brucker	df12a32624	Added missing space to warning messages.	2019-08-04 08:24:01 +01:00
Achim D. Brucker	abe4e8ef9a	Changed default ontology to scholarly_paper.	2019-08-03 22:06:44 +01:00
Achim D. Brucker	b0a845c2f1	Install internal styles into document-template folder so that they are not listed as ontologies.	2019-08-03 22:01:41 +01:00
Achim D. Brucker	9c7f6f6a28	Renamed DOF_mkroot to mkroot_DOF.	2019-08-03 21:36:06 +01:00
Achim D. Brucker	8c29055ec6	Moved version-related configuration into a .config file.	2019-08-03 21:32:40 +01:00
Achim D. Brucker	e1a16647ce	Restructured macros for release version and download URLs.	2019-08-03 16:02:54 +01:00
Achim D. Brucker	cef99fadc0	Added basic infrastructure for versions and URLs.	2019-08-02 20:07:32 +01:00
Achim D. Brucker	0c2e2869a7	Do not list subsubsections in TOC.	2019-08-02 11:12:59 +01:00
Achim D. Brucker	768bfea3b7	Replace <@> by @ in LaTeX files.	2019-08-01 20:43:33 +01:00
Achim D. Brucker	c8abf69d8d	Introduced \isabelleversion.	2019-07-28 20:46:20 +01:00
Achim D. Brucker	94fdf75627	Applied renaming: Paris-Sud to Paris-Saclay.	2019-07-28 12:01:58 +01:00
Achim D. Brucker	76c722b3bb	Updated chapter/section titles.	2019-07-28 10:56:04 +01:00
Achim D. Brucker	c43d844082	Updated page layout.	2019-07-27 20:16:28 +01:00
Achim D. Brucker	a433c6ba06	Improved support for SRAC, EC, assumption, and hypthesis.	2019-07-27 19:05:10 +01:00
Achim D. Brucker	14a7bee506	Updated layout for SRACs and ECs and added table of SRACs/ECs.	2019-07-27 15:14:32 +01:00
Achim D. Brucker	db9afaaa49	Added frontmatter-environment for supporting configuration using hooks.	2019-07-27 15:11:43 +01:00
Achim D. Brucker	6b0ce07ef6	Added basic layout for SRACs and ECs.	2019-07-27 09:39:40 +01:00
Achim D. Brucker	d0306e62bc	Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF	2019-07-23 15:31:03 +01:00
Achim D. Brucker	7093fb523c	Fixed URL style.	2019-07-23 15:13:15 +01:00
Burkhart Wolff	97701d62d7	local improvements due to remarks of Frederic.	2019-07-23 15:26:48 +02:00
Achim D. Brucker	a6b3a6f44e	Initial commit.	2019-07-23 13:51:30 +01:00
Achim D. Brucker	c22824e617	Updted default layout for technical reports.	2019-07-21 16:45:50 +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	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