Achim D. Brucker
|
6927781d26
|
Merge.
|
2 weeks ago |
Achim D. Brucker
|
7e01ff7021
|
Cleanup.
|
2 weeks ago |
Achim D. Brucker
|
82121d7204
|
Cleanup.
|
2 weeks ago |
Achim D. Brucker
|
225309482b
|
Updated copyright information.
|
3 weeks ago |
Achim D. Brucker
|
78a17a66b5
|
Fixed copyright header.
|
3 weeks ago |
Achim D. Brucker
|
20b3e7c0b7
|
Removed pdflatex check (TeX Live 2019 should available everywhere and the dependency is still checked during installation.
|
3 weeks ago |
Achim D. Brucker
|
d2dcc71229
|
Removed explicit vspaces to clean up layout.
|
3 weeks ago |
Burkhart Wolff
|
d86e708154
|
a first imprfect solution for the assert* problem; 4th chapter roughly completed.
|
3 weeks ago |
Burkhart Wolff
|
aee1d33709
|
renaming ISA's; new shortcuts; more content in the RefMan.
|
3 weeks ago |
Burkhart Wolff
|
b71be9c4a8
|
Reorganization Chap 4. <4.3.2
|
3 weeks ago |
Burkhart Wolff
|
396ef1d477
|
More content in 4, better tree printing.
|
3 weeks ago |
Burkhart Wolff
|
950a86aa5a
|
Adding better explanation of the core functionalities...
|
3 weeks ago |
Burkhart Wolff
|
480f0ada37
|
Reorganization Chap 4. ...
|
3 weeks ago |
Burkhart Wolff
|
242bb536bc
|
Reorganization Chap 4. <4.3.2
|
3 weeks ago |
Burkhart Wolff
|
d6832cc8f8
|
Reorganization Chap 4.
|
4 weeks ago |
Burkhart Wolff
|
04f0cc7f5c
|
Reorganization: Pushed Macro Core Mechanism into the DOF Core; adapted the RefMan accordingly.
|
4 weeks ago |
Burkhart Wolff
|
2f721d0f4b
|
activated syntactic checks for trimming macros
|
1 month ago |
Burkhart Wolff
|
4c5aacb39f
|
activated syntactic checks for trimming macros
|
1 month ago |
Burkhart Wolff
|
4c5fc4bc53
|
built in syntactic checks for trimming macros
|
1 month ago |
Burkhart Wolff
|
005922ffda
|
built in syntactic checks for trimming macros
|
1 month ago |
Burkhart Wolff
|
6899c4059e
|
improved macro syntax
|
1 month ago |
Burkhart Wolff
|
5593c22a36
|
first version with macro syntax (no ML support)
|
1 month ago |
Burkhart Wolff
|
de5c0fc6e2
|
added Isar-syntax for define_shortcut*
|
1 month ago |
Burkhart Wolff
|
0e64608a58
|
enforcing shorter Definition* - style in examples (CC,CENELEC,...)
|
1 month ago |
Burkhart Wolff
|
8771d8581b
|
default class checking bug fixed; new attributes for default classes in ontological macros Definition* Theorem* Lemma*
|
1 month ago |
Achim D. Brucker
|
c11e68e3ea
|
Bug fix: Definition environment.
|
1 month ago |
Burkhart Wolff
|
698da3dd24
|
intermediate session with Macro-Bug.
|
2 months ago |
Burkhart Wolff
|
efeee1e863
|
Eliminated deprecated abstract class residuals; lifted Definition* to math_content.
|
2 months ago |
Burkhart Wolff
|
2ecb62a80e
|
added Lemma*, Theorem* and Definition* support. Bug: referencing does not work.
|
2 months ago |
Burkhart Wolff
|
4ad06ce39a
|
deactivated class check.
|
2 months ago |
Burkhart Wolff
|
da0f3e63f1
|
more steps to reform document macro mechanism
|
2 months ago |
Burkhart Wolff
|
7f4b587274
|
steps to reform cicm/csp paper and manual
|
2 months ago |
Burkhart Wolff
|
dc7ed74c57
|
Second steps to reform cicm paper
|
2 months ago |
Burkhart Wolff
|
84c7cabec0
|
First steps to reform cicm paper
|
2 months ago |
Burkhart Wolff
|
fbefa85586
|
First steps to reform cicm paper
|
2 months ago |
Burkhart Wolff
|
c991e693dc
|
tested and enforced new author* and abstract* macros.
|
2 months ago |
Achim D. Brucker
|
0b52e5872d
|
Use author*.
|
2 months ago |
Achim D. Brucker
|
1ad81aff35
|
Added support for explicit abstract* command.
|
2 months ago |
Achim D. Brucker
|
1129a0ed3e
|
Added support for explicit author* command.
|
2 months ago |
Burkhart Wolff
|
bad7dfc2ef
|
new set of macros : author* and abstract* --- not working yet
|
2 months ago |
Burkhart Wolff
|
fe8f63690d
|
macro-arrangement ...
|
2 months ago |
Burkhart Wolff
|
e59ac46299
|
removed SI --- went to AFP
|
2 months ago |
Burkhart Wolff
|
4e26aa6204
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2 months ago |
Burkhart Wolff
|
1f403a09f6
|
dfg
|
2 months ago |
Burkhart Wolff
|
aa1fed2440
|
sdf
|
2 months ago |
Burkhart Wolff
|
abd32a802d
|
First Pass of Chap 4 - Added invariant syntax description, more semantic content
|
3 months ago |
Burkhart Wolff
|
f093b033f5
|
started pass on chap 4 in Refman.
|
3 months ago |
Burkhart Wolff
|
3ba9454ac7
|
Slight improvements of the layout
|
3 months ago |
Burkhart Wolff
|
3c6197e6ca
|
FINISHED MY PASS ON THE PROGRAMMING MANUAL.
|
3 months ago |
Burkhart Wolff
|
7999ee9a38
|
recvision till line 2000 (Term Parsing)
|
3 months ago |