 Achim D. Brucker
|
2341879f06
|
Merge branch 'master' into Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-14 20:04:49 +01:00 |
|
Achim D. Brucker
|
13a92fcf34
|
Minor layout improvements.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-14 20:04:37 +01:00 |
|
Achim D. Brucker
|
08039609f6
|
Merge branch 'master' into Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-14 18:21:48 +01:00 |
 Burkhart Wolff
|
8a3622c125
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
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
|
a8bdb312d0
|
Merge branch 'master' into Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-13 10:13:25 +01:00 |
|
Achim D. Brucker
|
731ba1c1e4
|
Use Isabelle/DOF URL from config file.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-13 09:46:20 +01:00 |
|
Achim D. Brucker
|
2b2826a83f
|
Removed no longer required packages.
|
2019-08-13 09:32:15 +01:00 |
|
Achim D. Brucker
|
d00cf8d4c3
|
Use default tt font instead of beramono.
|
2019-08-13 09:24:32 +01:00 |
|
Achim D. Brucker
|
40bb39c89c
|
Moved loading of listings-package into lstisadof-manual.sty.
|
2019-08-13 09:21:33 +01:00 |
|
Achim D. Brucker
|
e2a752ab55
|
Removed no longer required inpara-package.
|
2019-08-13 09:18:47 +01:00 |
|
Achim D. Brucker
|
2118c80d65
|
Merge branch 'master' into Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-13 09:14:41 +01:00 |
|
Achim D. Brucker
|
803fea739e
|
Fixed link to the Isabelle website.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-13 08:55:57 +01:00 |
|
Achim D. Brucker
|
cb91c97028
|
Configured secnumdepth to not number paragraphs and subsubsections.
|
2019-08-13 08:55:43 +01:00 |
|
Achim D. Brucker
|
bc4ad76a34
|
Merge branch 'master' into Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-13 07:57:48 +01:00 |
|
Achim D. Brucker
|
86b57a21a5
|
Initial commit.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-13 00:02:01 +01:00 |
|
Achim D. Brucker
|
0700e41a86
|
Merge branch 'master' into Unreleased/Isabelle2018
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-12 21:03:25 +01:00 |
|
Achim D. Brucker
|
7e4936b9a0
|
Removed core ontology from list of ontologies (mkroot_DOF -h output).
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-12 21:02:35 +01:00 |
|
Achim D. Brucker
|
b0262972c3
|
Merged bug fixes from master.
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-12 19:58:47 +01:00 |
|
Achim D. Brucker
|
af031a2678
|
Include Isabelle prefix in short version.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
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.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
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
|
e041d45e50
|
Fixed Isabelle version.
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 This commit looks good
Details
|
2019-08-12 10:18:04 +01:00 |
|
Achim D. Brucker
|
15aa0fb133
|
Fixed path for patches.
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 There was a failure building this commit
Details
|
2019-08-12 10:08:24 +01:00 |
|
Achim D. Brucker
|
2c8fc958c3
|
Updated README to reflect used version of Isabelle.
Isabelle_DOF/Isabelle_DOF/Unreleased%2FIsabelle2018 There was a failure building this commit
Details
|
2019-08-12 10:03:58 +01:00 |
|
Achim D. Brucker
|
c5d54e8528
|
Merged changes from master.
|
2019-08-12 10:02:30 +01:00 |
|
Achim D. Brucker
|
687fe0b61c
|
Fixed typo.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-12 08:34:35 +01:00 |
|
Achim D. Brucker
|
17354942c2
|
Fixed typo.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-12 08:33:17 +01:00 |
|
Achim D. Brucker
|
b1d4abbf48
|
Introduced \dofurl.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
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
|
4ae8b281f5
|
Improved usage description and overall improvements.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-11 22:26:43 +01:00 |
|
Achim D. Brucker
|
332daa1ebb
|
Removed outdated and unsupported gen_sty_template.
|
2019-08-11 22:26:17 +01:00 |
|
Achim D. Brucker
|
e88c61a0b9
|
Removed internals of installer.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-11 19:26:15 +01:00 |
|
Achim D. Brucker
|
4d33021936
|
Improved several BibTeX entries.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-11 18:46:04 +01:00 |
|
Achim D. Brucker
|
40dcf89df9
|
Section 5.6.
|
2019-08-11 18:06:13 +01:00 |
|
Achim D. Brucker
|
a79bd85e14
|
Section 5.5.
|
2019-08-11 17:22:22 +01:00 |
|
Achim D. Brucker
|
a77053dc9e
|
Number subsubsections.
|
2019-08-11 17:21:29 +01:00 |
|
Achim D. Brucker
|
5940542b24
|
Section 5.4.
|
2019-08-11 17:12:38 +01:00 |
|
Achim D. Brucker
|
e58f0b33d4
|
Section 5.3.
|
2019-08-11 17:03:26 +01:00 |
|
Achim D. Brucker
|
37f4ce73b0
|
Section 5.2.
|
2019-08-11 16:59:48 +01:00 |
|
Achim D. Brucker
|
02377de0d2
|
Section 5.1.
|
2019-08-11 16:52:56 +01:00 |
|
Achim D. Brucker
|
4f242c06ba
|
Added description of \renewisadof and \provideisadof.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-11 15:36:54 +01:00 |
|
Achim D. Brucker
|
e3286a6a25
|
Section 4.3.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-11 15:05:56 +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
|
88dda0a05b
|
Finished section 4.2.
|
2019-08-10 23:25:22 +01:00 |
|
Achim D. Brucker
|
7bff41cfa8
|
Moved and revised COL description.
|
2019-08-10 23:06:35 +01:00 |
|
Achim D. Brucker
|
7c66be090a
|
Removed example - not needed as we have Chapter 3 (and various examples in the actual distribution).
|
2019-08-10 22:00:15 +01:00 |
|
Achim D. Brucker
|
898656077f
|
Improved introduction of chapter 4.
|
2019-08-10 21:51:23 +01:00 |
|
Achim D. Brucker
|
a96223235c
|
Fixed installer output.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-10 20:43:29 +01:00 |