1164 Commits (master)
 

Author SHA1 Message Date
  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