Achim D. Brucker
538292b972
Fixed LaTeX compiliation error.
2020-10-06 04:45:30 +01:00
Burkhart Wolff
bea648530b
pushup.
2020-09-22 16:57:50 +02:00
Burkhart Wolff
9956bbf062
pushup, stiluebungen.
2020-09-22 16:35:28 +02:00
Burkhart Wolff
2d2f4320e0
intermediate status with LaTeX pblsm
2020-09-09 13:17:22 +02:00
Achim D. Brucker
ee251a8000
Removed unused LaTeX definitions and style files.
2020-09-08 00:01:50 +01:00
Achim D. Brucker
7956a3009a
Initial commit: style for providing theorem-like default environments.
2020-09-07 23:56:43 +01:00
Achim D. Brucker
75719a933a
Added 2020-iFM-CSP example based on scrartcl.cls.
2020-09-07 23:35:43 +01:00
Burkhart Wolff
2321945dc4
sdf
2020-09-07 23:17:36 +01:00
Burkhart Wolff
7e2224859e
mmm
2020-06-22 17:42:40 +02:00
Burkhart Wolff
0c4a5a5fea
eliminating deprecated syntax
2020-04-09 23:58:58 +02:00
Achim D. Brucker
60ebbbe12c
Updated license information.
2019-08-15 15:09:55 +01:00
Achim D. Brucker
6cd8cb098b
Updated license information.
2019-08-15 14:52:15 +01:00
Achim D. Brucker
b1d4abbf48
Introduced \dofurl.
2019-08-12 08:28:16 +01:00
Achim D. Brucker
6e6c4a81cb
Updated Isabelle/DOF repository URL.
2019-08-04 22:47:52 +01:00
Achim D. Brucker
9c7f6f6a28
Renamed DOF_mkroot to mkroot_DOF.
2019-08-03 21:36:06 +01:00
Achim D. Brucker
94fdf75627
Applied renaming: Paris-Sud to Paris-Saclay.
2019-07-28 12:01:58 +01:00
Achim D. Brucker
36f7ebc4bf
Fixed naming inconsistency.
2019-07-23 07:41:27 +01:00
Achim D. Brucker
eef387198a
Updated URL of Isabelle/DOF repository.
2019-07-21 10:22:06 +01:00
Achim D. Brucker
d1f55e7f30
Do not include checking instructions in PDF.
2019-07-21 10:21:37 +01:00
Achim D. Brucker
6fd22a071f
Resolved naming inconsistency (mathex_onto vs. math_exam).
2019-07-20 21:51:55 +01:00
Achim D. Brucker
8953f37629
Large directory restructuring.
...
This commit restructures the file hierarchy:
1) implementation is moved into src/ directory to clean up
the main directory and to make it easier for users to
find the README.md.
2) ontologies (both, the Isabelle-part and the LaTeX-part) are
now structured into directories.
2019-07-20 21:12:40 +01:00
Burkhart Wolff
3b4e82b27c
New autoref - format, ...
2019-05-28 10:43:40 +02:00
Achim D. Brucker
773b20b918
Cleanup.
2019-01-08 15:54:38 +00:00
Achim D. Brucker
db866bc241
Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF
2019-01-08 11:40:57 +00:00
Achim D. Brucker
a0a6c47fc6
Changed project configuration to a single configuration file.
2019-01-08 11:06:33 +00:00
Burkhart Wolff
33602282a0
itp paper comments
...
cenelec revision.
2019-01-08 10:34:49 +01:00
Burkhart Wolff
9adfeb6425
Merge from Achim
...
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
2019-01-07 21:13:56 +01:00
Burkhart Wolff
c443149647
First drafts on resubmission of the concept paper.
2019-01-07 21:13:23 +01:00
Burkhart Wolff
dcd1a159c5
- deleted rubbish.
2019-01-07 21:12:01 +01:00
Achim D. Brucker
339c6733f2
Modularized build script to simplify automated updates.
2019-01-07 00:29:42 +00:00
Achim D. Brucker
b91377edbd
Base examples on the session Isabelle_DOF.
2019-01-06 18:22:54 +00:00
Achim D. Brucker
d03052f4d6
Reworked root.tex setup.
...
The root.tex is now copied from the user installation directory
on each build to avoid problems with an outdated document setup.
2019-01-06 17:01:13 +00:00
Achim D. Brucker
5f5e8694d1
Updated root.tex files.
2019-01-06 14:38:05 +00:00
Achim D. Brucker
75ff2fad2d
Revert "Removed obsolete build scripts."
...
This reverts commit 30a17db2bf
.
2019-01-06 13:34:58 +00:00
Achim D. Brucker
30a17db2bf
Removed obsolete build scripts.
2019-01-05 23:38:56 +00:00
Achim D. Brucker
e0c5c81e1d
Made upqoute and beramono optional.
2018-12-19 16:05:27 +00:00
Achim D. Brucker
87ee897983
Disabled upqoute - not part of texlive 2017.
2018-12-19 15:55:29 +00:00
Burkhart Wolff
eae495ac90
- Added monitor class-invariant for level consistency.
...
- debugging here and there
- integration test
- remark : MathExam is in a pretty inconsistent state (requires discussion)
- integration test
2018-12-18 14:29:08 +01:00
Burkhart Wolff
98565b837c
Worked on assert*.
...
Still needs debugging.
Regression tests of some examples;
necessary revisions due to stronger
checks at close_monitor.
2018-12-11 16:03:01 +01:00
Burkhart Wolff
5e7ac1c02e
- Fixed the FrontEnd - level problem according to what we discussed:
...
-- there are classes that do not have a level
-- title, subtitle and abstract DO NOT HAVE a level
-- text* has a level, but the level "None"
- Tested whatever we have as examples
2018-12-04 10:41:34 +01:00
Achim D. Brucker
1f2551d683
Restrucuring.
2018-11-27 13:39:54 +00:00
Achim D. Brucker
21d51e7275
Restrucuring.
2018-11-27 13:22:31 +00:00
Achim D. Brucker
9d5bddea7c
Restrucuring.
2018-11-27 13:11:54 +00:00