 Achim D. Brucker
|
899f74f2f0
|
Initial commit.
|
2018-06-11 21:07:26 +01:00 |
|
Achim D. Brucker
|
339045300d
|
Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF
|
2018-06-11 18:34:48 +01:00 |
|
Achim D. Brucker
|
f4c66cd085
|
Renamed sideBySideFigure to side_by_side_figure.
|
2018-06-11 18:34:41 +01:00 |
 Burkhart Wolff
|
7eeaecf48f
|
Concptual repaired.
|
2018-06-11 18:48:49 +02:00 |
|
Burkhart Wolff
|
774a5f20e8
|
sideBySide
|
2018-06-11 18:10:45 +02:00 |
|
Achim D. Brucker
|
0fdd2db5a5
|
Generalized handling of Isabelle/DOF specific commands (any Isar command ending with '*' is converted).
|
2018-06-11 16:55:44 +01:00 |
|
Burkhart Wolff
|
ab127abe9a
|
Eingeführter title etc. …
|
2018-06-11 17:35:12 +02:00 |
|
Achim D. Brucker
|
19959304d4
|
Generalized handling of Isabelle/DOF specific commands (any Isar command ending with '*' is converted).
|
2018-06-11 12:49:23 +01:00 |
|
Achim D. Brucker
|
8f53025635
|
More aggressive trimming of whitespaces.
|
2018-06-10 12:07:15 +01:00 |
|
Achim D. Brucker
|
d18bc51245
|
Added side_by_side_figure.
|
2018-06-10 11:34:14 +01:00 |
|
Achim D. Brucker
|
f4bcad5ac9
|
Added main_author attribute to sections.
|
2018-06-10 11:33:35 +01:00 |
|
Achim D. Brucker
|
f059a521f6
|
Updated todo items.
|
2018-06-09 19:24:46 +01:00 |
|
Achim D. Brucker
|
3d644d768f
|
Improved error handling.
|
2018-06-09 19:21:55 +01:00 |
|
Achim D. Brucker
|
37d8467cf3
|
Added stubs for mathex doc classes.
|
2018-06-09 15:27:35 +01:00 |
|
Achim D. Brucker
|
dbc839b201
|
Updated hyperref configuration.
|
2018-06-09 15:26:43 +01:00 |
|
Achim D. Brucker
|
b0d40de9a1
|
Updated LaTeX setup.
|
2018-06-09 15:24:17 +01:00 |
|
Achim D. Brucker
|
ba3c2c3f33
|
Initial commit.
|
2018-06-09 12:33:30 +01:00 |
|
Achim D. Brucker
|
065cc5d825
|
Unified console prompt in console environments.
|
2018-06-09 11:42:53 +01:00 |
|
Achim D. Brucker
|
ae71136bf7
|
Deleted outdated example.
|
2018-06-09 11:40:28 +01:00 |
|
Achim D. Brucker
|
127f87b0fe
|
Bug fix: removing white spaces between optional and mandatory arguments of LaTeX commands.
|
2018-06-09 11:36:44 +01:00 |
|
Achim D. Brucker
|
0299dc7110
|
Documented -t option.
|
2018-06-08 17:48:10 +01:00 |
|
Achim D. Brucker
|
b5f73222ba
|
Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF
|
2018-06-08 17:39:47 +01:00 |
|
Achim D. Brucker
|
447208365f
|
Added missing section definitions.
|
2018-06-08 17:39:33 +01:00 |
|
Burkhart Wolff
|
5d4ec26b5a
|
Diskkussion with Achim
|
2018-06-08 17:42:58 +02:00 |
|
Burkhart Wolff
|
243545be5d
|
Passt doch.
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
|
2018-06-08 17:12:45 +02:00 |
|
Achim D. Brucker
|
b7c70e4071
|
Relaxed error handling.
|
2018-06-08 15:53:58 +01:00 |
|
Achim D. Brucker
|
de7f94b3c7
|
Support underscores in types.
|
2018-06-08 15:42:18 +01:00 |
|
Achim D. Brucker
|
675e9e2954
|
Stop script execution on first error.
|
2018-06-08 15:41:15 +01:00 |
|
Achim D. Brucker
|
d9228420e1
|
Port to Isabelle/DOF 0.0.3.
|
2018-06-08 14:41:16 +01:00 |
|
Achim D. Brucker
|
4a3f18030e
|
Initial commit.
|
2018-06-08 14:40:49 +01:00 |
|
Achim D. Brucker
|
c67746d246
|
Added check for llncs as base class.
|
2018-06-08 14:30:48 +01:00 |
|
Achim D. Brucker
|
57fcdd3652
|
Updated version to 0.0.3.
|
2018-06-08 13:44:22 +01:00 |
|
Achim D. Brucker
|
ec733715c1
|
Fixed base name of ontology styles.
|
2018-06-08 13:37:49 +01:00 |
|
Achim D. Brucker
|
c4d91a25ad
|
Split ontologies from templates - they can now be configured separately.
|
2018-06-08 12:54:45 +01:00 |
|
Achim D. Brucker
|
1f7b9742e5
|
Added preamble.tex to ROOT file and simplified sed use.
|
2018-06-08 12:06:04 +01:00 |
|
Burkhart Wolff
|
87fa4a975f
|
iUpdated nach diskussion mit Achim
|
2018-06-08 12:13:45 +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 |
|
Burkhart Wolff
|
68afffe674
|
Modifs on Math-Exam. and Article.
Preparing code-infrastructure for Attribute Evaluations.
Improved “MyCommented Isabelle”.
|
2018-06-07 13:56:15 +02:00 |
 Chantal Keller
|
7eb9082628
|
Merge branch 'master' of git.logicalhacking.com:HOL-OCL/Isabelle_DOF
|
2018-06-06 19:27:16 +02:00 |
|
Chantal Keller
|
30b3526fb2
|
BAC2017: more structure
|
2018-06-06 19:24:17 +02:00 |
|
Achim D. Brucker
|
f1f53ae9ee
|
Documented -h option.
|
2018-06-06 17:15:26 +01:00 |
|
Achim D. Brucker
|
8a5dfef5b9
|
Improved help message.
|
2018-06-06 17:11:38 +01:00 |
|
Achim D. Brucker
|
5a4896cf06
|
Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF
|
2018-06-06 12:32:34 +01:00 |
|
Achim D. Brucker
|
951834b561
|
Initial commit.
|
2018-06-06 12:32:14 +01:00 |
|
Achim D. Brucker
|
ac1709b34e
|
Support for section*/text* without explicit type annotation.
|
2018-06-06 12:30:46 +01:00 |
 Idir AIT SADOUNE
|
23db0e7568
|
no message
|
2018-06-06 12:00:22 +02:00 |
Chantal Keller
|
80f92c168c
|
BAC2017: tried proofs
|
2018-06-06 08:37:06 +02:00 |
|
Chantal Keller
|
3b7a029d35
|
BAC2017: first two questions
|
2018-06-05 20:56:02 +02:00 |
|
Chantal Keller
|
49f1ed5200
|
BAC2017: removed errors
|
2018-06-05 19:20:00 +02:00 |