Achim D. Brucker
|
d0b183af79
|
Improved docker run command.
|
2019-08-18 18:02:54 +01:00 |
Achim D. Brucker
|
8836c7b02f
|
Improved docker run command.
|
2019-08-18 17:50:57 +01:00 |
Achim D. Brucker
|
d4485d764d
|
Fix registration of Isabelle/DOF.
|
2019-08-18 15:11:41 +01:00 |
Achim D. Brucker
|
4a208f2a73
|
Fixed manual generation.
|
2019-08-18 14:56:17 +01:00 |
Achim D. Brucker
|
8c6d4ca18b
|
Addes support for DOIs.
|
2019-08-18 14:55:56 +01:00 |
Achim D. Brucker
|
b191029743
|
Added zenodo DOI.
|
2019-08-18 14:34:19 +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
|
1d2f7a808f
|
Cleanup.
|
2019-08-18 13:57:51 +01:00 |
Achim D. Brucker
|
9117bed209
|
Updated config for release 1.0.0/Isabelle2019.
|
2019-08-18 10:39:42 +01:00 |
Achim D. Brucker
|
1eff5c7550
|
Updated Changelog for release 1.0.0/Isabelle2019.
|
2019-08-18 10:39:24 +01:00 |
Achim D. Brucker
|
1a87a4dcea
|
Install PDF manual as well.
|
2019-08-18 10:38:52 +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
|
45c7d4b291
|
Fixed signing message.
|
2019-08-17 22:08:45 +01:00 |
Achim D. Brucker
|
39919ad3e1
|
Fixed typo.
|
2019-08-17 16:43:40 +01:00 |
Achim D. Brucker
|
c806cbb2a0
|
Added LNCS volume for SEFM paper.
|
2019-08-17 16:40:22 +01:00 |
Achim D. Brucker
|
d6d9e1bb5c
|
New command "reflect_ML_exports" for loading ML exported code into Isabelle's ML environment using the Isabelle's virtual file system.
|
2019-08-17 16:31:27 +01:00 |
Achim D. Brucker
|
8c41589310
|
Fixed markdown.
|
2019-08-17 10:53:04 +01:00 |
Achim D. Brucker
|
a30bf33d99
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-08-17 10:51:21 +01:00 |
Achim D. Brucker
|
ad0a3b293d
|
Removed outdated and unused file.
|
2019-08-17 10:50:43 +01:00 |
Burkhart Wolff
|
bb5d190143
|
added build and tests in the README.
|
2019-08-17 11:39:42 +02:00 |
Achim D. Brucker
|
fdd9509eac
|
Remove and ignore autogenerated file.
|
2019-08-17 10:23:41 +01:00 |
Burkhart Wolff
|
242664e6fd
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2019-08-17 11:19:30 +02:00 |
Burkhart Wolff
|
f7d7dd6d23
|
changed awkward sentences.
|
2019-08-17 11:19:12 +02:00 |
Achim D. Brucker
|
982bd0c5fb
|
Updated refernce to SEFM paper.
|
2019-08-17 10:15:04 +01:00 |
Achim D. Brucker
|
1330308091
|
Bug fix: ensure creation of doc directory before creating CONTENTS.
|
2019-08-17 10:14:28 +01:00 |
Burkhart Wolff
|
e6c6592143
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2019-08-17 11:07:22 +02:00 |
Burkhart Wolff
|
dc15a31db6
|
removed awkward sentence.
|
2019-08-17 11:07:08 +02:00 |
Achim D. Brucker
|
679408cfed
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-08-17 10:02:36 +01:00 |
Achim D. Brucker
|
4692201cb0
|
Normalized BibTeX keys.
|
2019-08-17 10:02:13 +01:00 |
Burkhart Wolff
|
7474fc231d
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2019-08-17 10:48:34 +02:00 |
Burkhart Wolff
|
b707eff08d
|
bug in article class.
|
2019-08-17 10:48:15 +02:00 |
Achim D. Brucker
|
c92376871c
|
Fixes spacing.
|
2019-08-17 09:46:17 +01:00 |
Achim D. Brucker
|
c34b13ba2f
|
Reverted 7aefbde58b .
|
2019-08-17 09:40:25 +01:00 |
Achim D. Brucker
|
a78b1a4bfc
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-08-17 09:38:52 +01:00 |
Burkhart Wolff
|
f649f08c5e
|
adding LNCS number.
|
2019-08-17 10:37:07 +02:00 |
Burkhart Wolff
|
3f4fb48602
|
clarifying some sentences in intro.
|
2019-08-17 10:32:56 +02:00 |
Burkhart Wolff
|
7aefbde58b
|
typos, and a more general abstract.
|
2019-08-17 10:23:16 +02:00 |
Achim D. Brucker
|
3aaa460bbc
|
Install CICM paper example and generate CONTENTS file.
|
2019-08-16 19:49:15 +01:00 |
Achim D. Brucker
|
dfa0e543b6
|
Register doc directory.
|
2019-08-16 19:13:04 +01:00 |
Achim D. Brucker
|
032a9e9278
|
Added organization name to image name.
|
2019-08-15 20:37:40 +01:00 |
Achim D. Brucker
|
48884ea2a8
|
Renamed repository to lh-docker-isabelle.
|
2019-08-15 20:27:42 +01:00 |
Achim D. Brucker
|
5cc14c697f
|
Bug fix: naming of archive and git tag.
|
2019-08-15 17:10:16 +01:00 |
Achim D. Brucker
|
294a3c1769
|
Use config from checkout.
|
2019-08-15 16:55:40 +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
|
ecc7cec514
|
Documented default for $TAG.
|
2019-08-15 15:55:20 +01:00 |
Achim D. Brucker
|
ff0a40b62a
|
Bug fix: checkout $TAG.
|
2019-08-15 15:53:42 +01:00 |
Achim D. Brucker
|
6b1864e677
|
Updated help text.
|
2019-08-15 15:52:47 +01: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 |