pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,625 Commits 15 Branches 8 Tags 73 MiB
Commit Graph

77 Commits

Author SHA1 Message Date
Makarius Wenzel 791990039b Tuned messages and options, following Isabelle/c7f3e94fce7b 2022-12-05 12:37:59 +01:00
Makarius Wenzel bb5963c6e2 Proper usage of dof_mkroot, although its Bash pretty-printing in LaTeX is a bit odd 2022-12-02 14:35:17 +01:00
Makarius Wenzel a6ab1e101e Update Isabelle + AFP URLs 2022-12-01 11:55:51 +01:00
Makarius Wenzel c29ec9641a Simplified installation 2022-12-01 11:45:12 +01:00
Achim D. Brucker b4f4048cff Made clear that more than two AFP entries are required. 2022-11-07 17:05:04 +00:00
Achim D. Brucker ab1877ce8e Linting. 2022-11-01 20:58:34 +00:00
Achim D. Brucker fc575a5be5 Fixed mardown. 2022-10-31 21:33:26 +00:00
Achim D. Brucker 4e47c38860 Declared installation script as deprecated. 2022-10-31 19:20:34 +00:00
Achim D. Brucker 873151b4f3 Update to Isabelle 2022. 2022-10-30 17:56:15 +00:00
Achim D. Brucker 99facb109c Fixed link to latest version of the manual. 2022-07-08 12:57:43 +01:00
Achim D. Brucker adf87dfde4 Bumped version to 1.3.0. 2022-07-08 12:05:39 +01:00
Achim D. Brucker 45e4a11a74 Clarified that before calling the install-afp script, Isabelle/DOF needs to be registered as a component. 2022-07-02 22:21:07 +01:00
Achim D. Brucker 367d8f28ad Improved installation instructions. 2022-06-29 16:25:32 +01:00
Achim D. Brucker d10b277c60 Fixed documentation. 2022-06-25 17:34:08 +01:00
Achim D. Brucker b83f7a8abb Updated manual. 2022-06-24 16:58:07 +01:00
Achim D. Brucker 41e6c9ed02 Fixed file attributes. 2022-04-18 09:44:44 +01:00
Achim D. Brucker 8a2828f3bf Fixed markdown. 2022-03-27 14:07:51 +01:00
Achim D. Brucker 9f773ca129 Fixed markdown. 2022-03-27 14:04:45 +01:00
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 f4286404fb Merge branch 'v1.2.x/Isabelle2021' 2022-03-26 18:25:33 +00:00
Achim D. Brucker ac2fab895b Added artifact links for version 1.2.0. 2022-03-25 22:24:25 +00:00
Achim D. Brucker 010202e34a Removed Docker instructions. 2022-03-20 22:05:38 +00:00
Achim D. Brucker 62eefcee5d Updated required Isabelle and TexLive version. 2022-03-20 22:05:08 +00:00
Achim D. Brucker a66e90cf25 Switchted to notion of upstream repository. 2022-03-17 08:48:25 +00:00
Achim D. Brucker 4c0d3ccee3 Renamed master repository to main repository. 2022-03-11 10:42:50 +00:00
Achim D. Brucker 51375ea983 Updated TeX Live dependency to version 2021. 2021-04-01 23:47:35 +01:00
Achim D. Brucker 78987a5ae0 Fixed MarkDown. 2021-03-22 00:40:59 +00:00
Achim D. Brucker e20e73be90 Added ERT 2018 publication and added note about required version of tcolorbox.sty. 2021-03-22 00:12:00 +00:00
Achim D. Brucker 8d8d418f0e Update after Isabelle/DOF 1.1.0/Isabelle2021 release. 2021-03-20 23:56:46 +00:00
Achim D. Brucker 712cea7ac9 Merge branch 'v1.1.x/Isabelle2020' 2021-03-20 22:26:14 +00:00
Achim D. Brucker 6d166ecee4 Added links for 1.1.0/Isabelle2020 release. 2021-03-20 22:19:57 +00:00
Achim D. Brucker a0654d8db9 Added Nicolas Méric as contributor. 2021-03-20 22:05:57 +00:00
Achim D. Brucker aadbce7844 Removed direct link to TeX Live installation instructions that are somewhat misleading for OS X users. The main TeX Live instructions are, actually, more helpful. 2021-03-15 10:24:31 +00:00
Achim D. Brucker 06dddeacf5 Porting to Isabelle 2021. 2021-03-10 22:04:09 +00:00
Achim D. Brucker e0305a6694 Updated TeXLive dependency to TeXLive 2020. 2021-01-11 19:21:08 +00:00
Burkhart Wolff 7e2224859e mmm 2020-06-22 17:42:40 +02:00
Achim D. Brucker aa74c32c7d Updated to the official Isabelle 2020 release and corresponding AFP version. 2020-04-20 18:54:22 +01:00
Achim D. Brucker 358be52b61 Updated Isabelle version. 2020-04-08 21:40:34 +01:00
Achim D. Brucker f13e325f6a Port to Isabelle 2020 (tested with Isabelle 2020 RC4). 2020-04-08 13:19:32 +01:00
Achim D. Brucker 5a97a2bb4b Mentioned Isabelle/DOF manual in the first paragraph (instead of only in the release notes). 2019-12-06 13:29:25 +00:00
Achim D. Brucker 6ca30df9ba Added IFM paper. 2019-12-06 13:25:00 +00:00
Achim D. Brucker 4db68c45db Added DOIs for listed publications. 2019-08-18 21:39:43 +01:00
Achim D. Brucker 8836c7b02f Improved docker run command. 2019-08-18 17:50:57 +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 c806cbb2a0 Added LNCS volume for SEFM paper. 2019-08-17 16:40:22 +01:00
Achim D. Brucker 8c41589310 Fixed markdown. 2019-08-17 10:53:04 +01:00
Burkhart Wolff bb5d190143 added build and tests in the README. 2019-08-17 11:39:42 +02:00
Achim D. Brucker 7e4936b9a0 Removed core ontology from list of ontologies (mkroot_DOF -h output). 2019-08-12 21:02:35 +01:00
Achim D. Brucker 4ae8b281f5 Improved usage description and overall improvements. 2019-08-11 22:26:43 +01:00
Achim D. Brucker e88c61a0b9 Removed internals of installer. 2019-08-11 19:26:15 +01:00