 Achim D. Brucker
|
551906a599
|
Added style guide section.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-05 11:05:19 +01:00 |
|
Achim D. Brucker
|
e2dee5addb
|
Updated install script output to include check for pdftex.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-04 22:31:52 +01:00 |
|
Achim D. Brucker
|
ba91746367
|
Added note that some LaTeX class files require a manual installation by the user.
|
2019-08-04 21:16:25 +01:00 |
|
Achim D. Brucker
|
d89b9c6d65
|
Revised Section 3.4
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-04 20:34:22 +01:00 |
|
Achim D. Brucker
|
451da54e0e
|
Revised Section 3.3
|
2019-08-04 20:06:45 +01:00 |
|
Achim D. Brucker
|
f85b1878fe
|
Revised Section 3.2
|
2019-08-04 18:15:30 +01:00 |
|
Achim D. Brucker
|
d1cd301e6e
|
Added paragraph describing the document setup.
|
2019-08-04 15:32:16 +01:00 |
|
Achim D. Brucker
|
03fa1ed5f7
|
Revised Section 3.1
|
2019-08-04 13:37:57 +01:00 |
|
Achim D. Brucker
|
9c7f6f6a28
|
Renamed DOF_mkroot to mkroot_DOF.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
|
2019-08-03 21:36:06 +01:00 |
|
Achim D. Brucker
|
13a6384cfe
|
Updated introduction and started content restructuring.
|
2019-08-02 11:12:16 +01:00 |
|
Achim D. Brucker
|
281cb5541c
|
Fixed naming inconsistency.
|
2019-07-22 14:41:29 +01:00 |