Burkhart Wolff
|
e804cff226
|
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
|
2018-06-12 10:10:04 +02:00 |
Burkhart Wolff
|
e7a53276c5
|
Kleinkram
|
2018-06-12 10:09:36 +02:00 |
Achim D. Brucker
|
bab84243d2
|
LaTeX support for monitors.
|
2018-06-12 08:45:37 +01:00 |
Achim D. Brucker
|
f4c66cd085
|
Renamed sideBySideFigure to side_by_side_figure.
|
2018-06-11 18:34:41 +01:00 |
Burkhart Wolff
|
5d4ec26b5a
|
Diskkussion with Achim
|
2018-06-08 17:42:58 +02:00 |
Burkhart Wolff
|
ea4246a7a0
|
ncomplete checkin. Modifs on ROOT.
|
2018-06-08 11:46:44 +02:00 |
Burkhart Wolff
|
cab810a8a6
|
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds..
|
2018-06-08 09:29:57 +02:00 |