forked from Isabelle_DOF/Isabelle_DOF
Removed documentation of old Scala-setup (obsolete) and added hint for debugging LaTeX errors.
This commit is contained in:
parent
dd35fa356a
commit
e210e66213
|
@ -1,43 +1,17 @@
|
||||||
# Isabelle_DOF: Document Preparation Setup
|
# Isabelle_DOF: Document Preparation Setup
|
||||||
|
|
||||||
This directory contains the DOF-plugin for Isabelle's
|
This directory contains the LaTeX setup for Isabelle's
|
||||||
document generation system.
|
document generation system.
|
||||||
|
|
||||||
## Development Setup
|
|
||||||
|
|
||||||
Compilation using the provided ``build`` script, e.g.:
|
## Tipps
|
||||||
```console
|
|
||||||
foo@bar:~$ cd converter
|
During debugging of LaTeX errors, it can be very helpful to use
|
||||||
foo@bar:~$ ./build
|
more than 79 characters for error messages (otherwise, long errors
|
||||||
|
are truncated)"
|
||||||
|
``` bash
|
||||||
|
max_print_line=200 error_line=200 half_error_line=100 pdflatex root.tex
|
||||||
```
|
```
|
||||||
This build script requires a basic Unix-environment as, e.g., provided
|
|
||||||
by Isabelle as well as a running Isabelle installation.
|
|
||||||
|
|
||||||
In addition, a maven setup is maintained that, e.g., can be imported
|
|
||||||
into Eclipse. This results in an Scala development environment that
|
|
||||||
supports the usual features of a modern IDE, e.g., Intellisense.
|
|
||||||
|
|
||||||
### Prerequisites (Eclipse Setup)
|
|
||||||
|
|
||||||
* Java 8
|
|
||||||
* Eclipse Oxygen, including
|
|
||||||
* [Scala IDE and Scalatest Runner (the latter is optional)](http://download.scala-ide.org/sdk/lithium/e47/scala212/stable/site)
|
|
||||||
* ["Maven for Scala" - Maven Integration for Eclipse](http://alchim31.free.fr/m2e-scala/update-site)
|
|
||||||
|
|
||||||
### Checkout
|
|
||||||
|
|
||||||
The converter is part of the Isabelle DOF repository:
|
|
||||||
```console
|
|
||||||
foo@bar:~$ git clone https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF.git
|
|
||||||
```
|
|
||||||
|
|
||||||
### Importing the Project into Eclipse
|
|
||||||
|
|
||||||
The project can be imported into a fresh Eclipse workspace using
|
|
||||||
`File -> Import -> Maven -> Existing Maven Projects`. Please select
|
|
||||||
the ``converter`` directory as parent directory. After the import, you
|
|
||||||
might need to resolve the dependencies using the maven integration of
|
|
||||||
Eclipse.
|
|
||||||
|
|
||||||
## Team
|
## Team
|
||||||
|
|
||||||
|
|
Reference in New Issue