Achim D. Brucker
9e605d2e3c
Removed fixme.
2021-01-15 00:46:29 +00:00
Achim D. Brucker
6927781d26
Merge.
2021-01-09 06:32:17 +00:00
Achim D. Brucker
d2dcc71229
Removed explicit vspaces to clean up layout.
2021-01-04 06:32:56 +00:00
Burkhart Wolff
aee1d33709
renaming ISA's; new shortcuts; more content in the RefMan.
2021-01-02 15:57:28 +01:00
Burkhart Wolff
6899c4059e
improved macro syntax
2020-12-22 20:37:15 +01:00
Burkhart Wolff
5593c22a36
first version with macro syntax (no ML support)
2020-12-22 19:50:00 +01:00
Burkhart Wolff
de5c0fc6e2
added Isar-syntax for define_shortcut*
2020-12-22 08:07:19 +01:00
Burkhart Wolff
8771d8581b
default class checking bug fixed; new attributes for default classes in ontological macros Definition* Theorem* Lemma*
2020-12-01 23:18:13 +01:00
Burkhart Wolff
698da3dd24
intermediate session with Macro-Bug.
2020-11-24 10:57:17 +01:00
Burkhart Wolff
efeee1e863
Eliminated deprecated abstract class residuals; lifted Definition* to math_content.
2020-11-10 13:07:54 +01:00
Burkhart Wolff
2ecb62a80e
added Lemma*, Theorem* and Definition* support. Bug: referencing does not work.
2020-11-04 15:55:43 +01:00
Burkhart Wolff
7f4b587274
steps to reform cicm/csp paper and manual
2020-11-04 11:18:43 +01:00
Burkhart Wolff
dc7ed74c57
Second steps to reform cicm paper
2020-11-04 10:12:31 +01:00
Burkhart Wolff
84c7cabec0
First steps to reform cicm paper
2020-11-04 09:22:49 +01:00
Burkhart Wolff
fbefa85586
First steps to reform cicm paper
2020-11-04 03:27:24 +01:00
Burkhart Wolff
c991e693dc
tested and enforced new author* and abstract* macros.
2020-11-04 02:52:55 +01:00
Achim D. Brucker
0b52e5872d
Use author*.
2020-11-03 21:50:19 +00:00
Burkhart Wolff
bad7dfc2ef
new set of macros : author* and abstract* --- not working yet
2020-11-03 19:00:33 +01:00
Burkhart Wolff
fe8f63690d
macro-arrangement ...
2020-11-02 18:30:40 +01:00
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