73 Commits

Author	SHA1	Message	Date
Achim D. Brucker	7b8ae0a93d	Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.	2022-03-27 13:21:55 +01:00
Achim D. Brucker	5348a609be	Official support for lipics-v2021 (fixes #13).	2022-03-27 12:20:49 +01:00
Achim D. Brucker	7b4450450d	Hide use of build script from users.	2022-03-27 12:02:15 +01:00
Achim D. Brucker	74368af56c	Do not install tools in ISABELLE_HOME_USER.	2022-03-26 21:17:01 +00:00
Achim D. Brucker	16bd3b3a94	Install AFP entries as components instead of adding them to the ROOTS file.	2022-03-24 14:26:53 +00:00
Achim D. Brucker	f51ee34681	Register Isabelle/DOF as proper component.	2022-03-21 08:47:05 +00:00
Achim D. Brucker	abe7713f1e	Disabled patch installation and updated Isabelle version.	2022-03-20 22:03:10 +00:00
Achim D. Brucker	46325cc64b	Added unofficial support for lipics-v2021 (warning: this requires a patched version of lipics-v2021.cls).	2022-01-30 22:52:48 +00:00
Achim D. Brucker	3ac69001ab	Use POSIX-compliant method to find isabelle command.	2021-08-20 22:31:14 +01:00
Achim D. Brucker	4a1f15be02	Removed check for \expanded{}: Isabelle 2021 defaults to luatex as TeX-engine, which has \expanded{} since a very long time.	2021-03-10 22:10:12 +00:00
Achim D. Brucker	e0305a6694	Updated TeXLive dependency to TeXLive 2020.	2021-01-11 19:21:08 +00:00
Achim D. Brucker	74ab956b11	Updated to the official Isabelle 2020 release and corresponding AFP version.	2020-04-20 18:51:04 +01:00
Achim D. Brucker	968694f153	Port to Isabelle 2020 (tested with Isabelle 2020 RC4).	2020-04-08 16:26:00 +01:00
Achim D. Brucker	32e9c3f71c	Added version independent DOI.	2019-08-19 09:48:45 +01:00
Achim D. Brucker	d4485d764d	Fix registration of Isabelle/DOF.	2019-08-18 15:11:41 +01:00
Achim D. Brucker	8c6d4ca18b	Addes support for DOIs.	2019-08-18 14:55:56 +01:00
Achim D. Brucker	c698a7a811	Added information on how to run Isabelle/DOF using Docker and added setup for documenting latest release.	2019-08-18 14:05:00 +01:00
Achim D. Brucker	79317c3f9b	Bug fix: registration of Isabelle/DOF in user ROOTS file.	2019-08-17 23:31:51 +01:00
Achim D. Brucker	68a5bbfc82	Fixed typo.	2019-08-17 23:27:04 +01:00
Achim D. Brucker	dfa0e543b6	Register doc directory.	2019-08-16 19:13:04 +01:00
Achim D. Brucker	71ec7994cd	During install, infer DATE from git commit and also add commit id.	2019-08-15 16:55:12 +01:00
Achim D. Brucker	22529362a1	Update version information during installation.	2019-08-15 14:37:04 +01:00
Achim D. Brucker	731ba1c1e4	Use Isabelle/DOF URL from config file.	2019-08-13 09:46:20 +01:00
Achim D. Brucker	af031a2678	Include Isabelle prefix in short version.	2019-08-12 19:38:31 +01:00
Achim D. Brucker	9183dea32a	Splitting artifact URL.	2019-08-12 19:37:54 +01:00
Achim D. Brucker	257af67204	Avoid using newlines, seem to cause problems on an unnamed OS from Cupertino.	2019-08-12 19:23:58 +01:00
Achim D. Brucker	6de8bedffd	Fixed help message.	2019-08-12 19:21:09 +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	e85333e8e6	Improved log messages.	2019-08-04 22:26:10 +01:00
Achim D. Brucker	4e2fd09dff	Added check for (La)TeX installation.	2019-08-04 21:57:40 +01:00
Achim D. Brucker	16b46da95f	Print newline at beginning of installation output.	2019-08-04 10:43:30 +01:00
Achim D. Brucker	21f0339879	Fixed installation message.	2019-08-04 09:30:16 +01:00
Achim D. Brucker	daafc9dcff	Install internal styles into document-template folder so that they are not listed as ontologies.	2019-08-03 22:06:16 +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	8c29055ec6	Moved version-related configuration into a .config file.	2019-08-03 21:32:40 +01:00
Achim D. Brucker	3942c650fd	Register Isabelle/DOF as Isabelle component.	2019-08-02 23:57:15 +01:00
Achim D. Brucker	94fdf75627	Applied renaming: Paris-Sud to Paris-Saclay.	2019-07-28 12:01:58 +01:00
Achim D. Brucker	8148b7fc38	Improved help message.	2019-07-20 22:00:40 +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	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	db83359f88	Bug fix: re-activated support for skipping patching and AFP installation.	2019-06-29 11:35:13 +01:00
Achim D. Brucker	39afa24591	Migration to Isabelle 2019.	2019-06-18 06:33:41 +01:00
Achim D. Brucker	ce78f54984	Pushed afp version into configuration variable.	2019-06-17 19:46:44 +01:00
Achim D. Brucker	30c5876ade	Fix wrong path for actual Isabelle version and update to dependent variables.	2019-06-17 16:35:40 +01:00
Achim D. Brucker	567fedf6c8	Fix wrong path for actual Isabelle version and update to dependent variables.	2019-06-17 16:34:49 +01:00
Achim D. Brucker	1e85afcfb9	Fix wrong path for actual Isabelle version.	2019-06-17 16:17:42 +01:00
Achim D. Brucker	a21a8844a4	Updated copyright information.	2019-06-17 10:02:23 +01:00
Achim D. Brucker	52ecf3f70c	Migration to Isabelle 2018.	2019-06-11 11:02:23 +01:00