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
|
803fea739e
|
Fixed link to the Isabelle website.
|
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
|
86b57a21a5
|
Initial commit.
|
2019-08-13 00:02:01 +01: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
|
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
|
687fe0b61c
|
Fixed typo.
|
2019-08-12 08:34:35 +01:00 |
Achim D. Brucker
|
17354942c2
|
Fixed typo.
|
2019-08-12 08:33:17 +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
|
4ae8b281f5
|
Improved usage description and overall improvements.
|
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.
|
2019-08-11 19:26:15 +01:00 |
Achim D. Brucker
|
4d33021936
|
Improved several BibTeX entries.
|
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.
|
2019-08-11 15:36:54 +01:00 |
Achim D. Brucker
|
e3286a6a25
|
Section 4.3.
|
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.
|
2019-08-10 20:43:29 +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
|
d1f0e4fb05
|
Section 4.2.3 and 4.2.4.
|
2019-08-10 18:57:30 +01:00 |
Achim D. Brucker
|
06aa37d2a9
|
Section 4.2.2.
|
2019-08-09 17:37:39 +01:00 |
Achim D. Brucker
|
b920423212
|
Activate literal Isabelle style.
|
2019-08-08 10:40:23 +01:00 |
Achim D. Brucker
|
f1a6b6c60f
|
Section restructuring.
|
2019-08-07 09:04:53 +01:00 |
Achim D. Brucker
|
ad1138ec95
|
Section 4.2.1.
|
2019-08-06 16:44:48 +01:00 |
Achim D. Brucker
|
f59bd7608a
|
Rescaling.
|
2019-08-05 21:42:56 +01:00 |
Achim D. Brucker
|
b063c06023
|
Revised Section 4.1.
|
2019-08-05 11:48:56 +01:00 |
Achim D. Brucker
|
551906a599
|
Added style guide section.
|
2019-08-05 11:05:19 +01:00 |
Achim D. Brucker
|
5be97e2797
|
Improved paragraph on availability.
|
2019-08-05 10:39:39 +01:00 |
Achim D. Brucker
|
5f692fa526
|
Fixed error message still refering to scholarly paper (instead of technical report) ontology.
|
2019-08-04 22:54:46 +01:00 |
Achim D. Brucker
|
6e6c4a81cb
|
Updated Isabelle/DOF repository URL.
|
2019-08-04 22:47:52 +01:00 |
Achim D. Brucker
|
c70dec328e
|
Removed list of SRACs/ECs.
|
2019-08-04 22:39:32 +01:00 |
Achim D. Brucker
|
e2dee5addb
|
Updated install script output to include check for pdftex.
|
2019-08-04 22:31:52 +01:00 |
Achim D. Brucker
|
e85333e8e6
|
Improved log messages.
|
2019-08-04 22:26:10 +01:00 |