nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,219 Commits 31 Branches 0 Tags 57 MiB
Commit Graph

52 Commits

Author SHA1 Message Date
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
Achim D. Brucker 5282d3e72e Make header a link to the master repository. 2019-08-10 20:07:52 +01:00
Achim D. Brucker c18d2fe350 Updated example to use scrartcl class. 2019-08-04 22:06:30 +01:00
Achim D. Brucker ef92fa5543 Documented TeXLive dependency. 2019-08-04 13:46:53 +01:00
Achim D. Brucker 9c7f6f6a28 Renamed DOF_mkroot to mkroot_DOF. 2019-08-03 21:36:06 +01:00
Achim D. Brucker c3dcb1ba2a Improved markdown. 2019-07-21 17:05:27 +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 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 0d4e0fb4d0 Added SEFM publication. 2019-07-05 16:09:34 +01:00
Achim D. Brucker 39afa24591 Migration to Isabelle 2019. 2019-06-18 06:33:41 +01:00
Achim D. Brucker c7d277b9da Merged Isabelle2018 to master. 2019-06-17 21:23:36 +01:00
Achim D. Brucker 991fd5d0e9 Added URL of master git repository. 2019-06-17 10:32:51 +01:00
Achim D. Brucker bbfe6b1a2c Migration from 2017 to 2018. 2019-06-16 21:02:36 +01:00
Achim D. Brucker 00cb307fc5 Changed user interface of the installation script: supports now long and short options and allows one to skipt the lengthy patch and afp installation check. 2019-04-06 12:49:24 +01:00
Achim D. Brucker bebf83673a Renamed CENELEC_50126 to CENELEC_50128 to match actual standard. 2019-02-05 09:42:12 +00:00
Achim D. Brucker 60a0bbb9cb Updated bibliographic information. 2019-01-09 10:31:51 +00:00
Achim D. Brucker 93f7fa5193 Fixed markdown. 2019-01-07 07:52:50 +00:00
Achim D. Brucker c23ca7f099 Fixed session name in example. 2019-01-06 23:09:50 +00:00
Achim D. Brucker d85a1340f7 Documented interactive use of examples. 2019-01-06 18:43:23 +00:00
Achim D. Brucker c8a69afc4c Include AFP download and registration in installer. 2019-01-06 13:23:42 +00:00
Achim D. Brucker 2c121e573c Installer now applyes Isabelle/DOF patch during installation. 2019-01-06 11:33:03 +00:00
Achim D. Brucker 45012da116 Updated README.md documenting the preliminaries. 2019-01-05 22:32:17 +00:00
Achim D. Brucker 3a85255f29 Removed reference to 2016. 2018-12-06 18:47:55 +01:00
Burkhart Wolff 1f50068373 Added crucial installation comment in the README concerning the installation 2018-12-06 18:38:15 +01:00
Achim D. Brucker 03474d69ff Updated README with basic installation instructions. 2018-06-12 23:28:20 +01:00