Fabian Neumann
|
c622c22b9c
|
clarify solver installation
|
2019-08-10 22:46:26 +02:00 |
|
Fabian Neumann
|
067d259ff6
|
include description of rule groups
* and reduce corresponding sections in readme
* and modify environment docs
* and add bibtex support (tentative)
|
2019-08-10 14:25:19 +02:00 |
|
Fabian Neumann
|
f6ee3f69b4
|
transfer descriptions from readme
|
2019-08-08 17:13:36 +02:00 |
|
Fabian Neumann
|
7a4e9f22d4
|
configuration table descriptions
|
2019-08-07 10:56:23 +02:00 |
|
Fabian Neumann
|
45d67c1158
|
wip on installation and introduction
|
2019-08-06 16:53:32 +02:00 |
|
Fabian Neumann
|
362f183c32
|
doc: add frame for documentation
|
2019-06-07 10:34:36 +02:00 |
|