742 Commits (master)
 

Author SHA1 Message Date
  Achim D. Brucker c5413107af Added Isabelle/DOF logo. 6 hours ago
  Achim D. Brucker a644634cf9 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 7 hours ago
  Achim D. Brucker 281cb5541c Fixed naming inconsistency. 7 hours ago
  Burkhart Wolff 856f652082 added sections on conservative term programming and a definition example as specification construct 7 hours ago
  Achim D. Brucker c3dcb1ba2a Improved markdown. 1 day ago
  Achim D. Brucker ecbb18fac8 Added license information. 1 day ago
  Achim D. Brucker c22824e617 Updted default layout for technical reports. 1 day ago
  Achim D. Brucker f734c0eb5e Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 1 day ago
  Achim D. Brucker 6f574e49d5 Updated author information. 1 day ago
  Achim D. Brucker c5a6d686c8 Removed availability information. 1 day ago
  Achim D. Brucker 432d2f0ba3 Updated listings setup. 1 day ago
  Burkhart Wolff 36ff213103 more experiments 1 day ago
  Burkhart Wolff f3c5aed97a more experiments 1 day ago
  Burkhart Wolff 869a1d6729 more experiments 1 day ago
  Burkhart Wolff b88031ec27 Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF 1 day ago
  Burkhart Wolff 269623ab74 added experiment with cartouche syntax ... 1 day ago
  Achim D. Brucker 19c8963abd Updated lstisadof.sty. 1 day ago
  Achim D. Brucker eef387198a Updated URL of Isabelle/DOF repository. 1 day ago
  Achim D. Brucker d1f55e7f30 Do not include checking instructions in PDF. 1 day ago
  Achim D. Brucker 5e59cf737b Updated descriptions of templates. 1 day ago
  Achim D. Brucker df3e3bd3c3 Updated copyright information. 1 day ago
  Achim D. Brucker 0c158450b6 Updated copyright information. 1 day ago
  Achim D. Brucker ee574cdf99 Removed non-supported sty-file generation. 1 day ago
  Achim D. Brucker 92f8fa5c25 Fixed naming inconsistency (cenelec vs. CENELEC_50128). 1 day ago
  Achim D. Brucker 869f1615cd Remove old output directories. 1 day ago
  Achim D. Brucker 8148b7fc38 Improved help message. 2 days ago
  Achim D. Brucker 6fd22a071f Resolved naming inconsistency (mathex_onto vs. math_exam). 2 days ago
  Achim D. Brucker 8953f37629 Large directory restructuring. 2 days ago
  Achim D. Brucker f8013d90a2 Updated Isar notation. 2 days ago
  Achim D. Brucker 8f22b53b18 Renamed document-template directory to document-templates. 2 days ago
  Achim D. Brucker 183c64eb0f Moved build script into separate directory. 2 days ago
  Achim D. Brucker e6cea1156c Activated MathExam. 2 days ago
  Achim D. Brucker 7f8ea1c115 Removed outdated BAC2017 example. 2 days ago
  Achim D. Brucker a85bcacd5b Moved unit tests into tests directory and added test session. 2 days ago
  Achim D. Brucker 189110dc0f Cleanup. 2 days ago
  Achim D. Brucker 3d01c5faf8 Cleanup. 2 days ago
  Achim D. Brucker 4f911f3a23 Cleanup. 2 days ago
  Achim D. Brucker 00651b385e Cleanup. 2 days ago
  Achim D. Brucker 55b980d984 Cleanup. 2 days ago
  Achim D. Brucker b324d599a1 Cleanup. 2 days ago
  Achim D. Brucker 38bd13d7d0 Cleanup. 2 days ago
  Achim D. Brucker a2d8ee9e6b Merged the two theories for testing attribute related features. 2 days ago
  Achim D. Brucker 5ef2c756cc Cleanup. 2 days ago
  Achim D. Brucker c69c61407e Cleanup. 2 days ago
  Achim D. Brucker 189baf9f27 Updated command line parameters of DOF_mkroot. 2 days ago
  Achim D. Brucker 804a3566cc Updated command line parameters of DOF_mkroot. 2 days ago
  Achim D. Brucker e450a45c71 Code cleanup. 2 days ago
  Achim D. Brucker 932b19f93d Cleanup. 2 days ago
  Achim D. Brucker 2b92d5d258 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2 days ago
  Achim D. Brucker b547d0cae8 Print messages to stderr to ensure visibility in logs. 2 days ago