nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
479 Commits 32 Branches 0 Tags 62 MiB
Commit Graph

479 Commits

Author SHA1 Message Date
Achim D. Brucker 5f5e8694d1 Updated root.tex files. 2019-01-06 14:38:05 +00:00
Achim D. Brucker 6b2274af1c Re-added build script. 2019-01-06 13:37:46 +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 84dd96a1d9 Ignore local afp installation directory (.afp). 2019-01-06 13:28:46 +00:00
Achim D. Brucker 31a392238c Cleanup. 2019-01-06 13:26:56 +00:00
Achim D. Brucker 904dfc07b3 Cleanup. 2019-01-06 13:24:12 +00:00
Achim D. Brucker c8a69afc4c Include AFP download and registration in installer. 2019-01-06 13:23:42 +00:00
Achim D. Brucker f2d3ff9918 Minor improvement of error message. 2019-01-06 12:28:14 +00:00
Achim D. Brucker 0614d594a7 Fixed download URL: http -> https. 2019-01-06 12:01:20 +00:00
Achim D. Brucker af8d65b456 Fixed bug in md5 check. 2019-01-06 11:48:02 +00:00
Achim D. Brucker dcafa93ae0 Improved final error/success message. 2019-01-06 11:41:16 +00:00
Achim D. Brucker 2c121e573c Installer now applyes Isabelle/DOF patch during installation. 2019-01-06 11:33:03 +00:00
Achim D. Brucker 3ca1c13dea Improved querying of Isabelle environment variables. 2019-01-06 10:17:15 +00:00
Achim D. Brucker 30a17db2bf Removed obsolete build scripts. 2019-01-05 23:38:56 +00:00
Achim D. Brucker ca6acf7a93 Moved installation check from build script (no longer needed) to LaTeX base files. 2019-01-05 23:23:20 +00:00
Achim D. Brucker 012dcf6740 Moved \isadof definition to DOF-core.sty. 2019-01-05 23:07:11 +00:00
Achim D. Brucker dfcb9fc185 Removed outdated TODO file. 2019-01-05 22:42:02 +00:00
Achim D. Brucker 45012da116 Updated README.md documenting the preliminaries. 2019-01-05 22:32:17 +00:00
Achim D. Brucker dfa2581f06 Added checks for AFP entries and Isabelle/DOF patch. 2019-01-05 21:44:51 +00:00
Achim D. Brucker 530727cccd Removed local AFP entries. 2019-01-05 21:01:52 +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 a1d6431df9 Added discussed ontology "math_paper" and an example reffering to (some elements) of it. 2018-12-19 12:05:57 +01:00
Achim D. Brucker 6fec11c152 Ignore generated templates for LaTeX styles. 2018-12-18 22:08:41 +00:00
Achim D. Brucker 141d389977 Added missing (sub)section types. 2018-12-18 22:07:43 +00:00
Achim D. Brucker 33bbd77f7a Disable math_exam examples - they are currently not supported. 2018-12-18 22:06:47 +00:00
Achim D. Brucker 860dab90f3 Removed generated output. 2018-12-18 22:05:07 +00:00
Burkhart Wolff 984915c507 Completion and a little debugging on assert* 2018-12-18 17:09:24 +01: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 40c12801c6 Added finality check on monitor closes and check for open monitors in the global check. 2018-12-10 14:15:39 +01:00
Burkhart Wolff d97313d010 small cleanup 2018-12-10 13:13:13 +01:00
Achim D. Brucker 426f638e11 Fixed section. 2018-12-08 13:44:46 +01:00
Achim D. Brucker 2bd8a04b34 Fixed duplicate ROOTS entries. 2018-12-08 13:44:34 +01:00
Burkhart Wolff 25d79c1ba9 Added text antoquotations for attribute values and trace. 2018-12-07 13:17:39 +01:00
Burkhart Wolff 6f7e0a379d Better error messages of attribute accesses, 
regression test.
 2018-12-07 12:09:12 +01:00
Burkhart Wolff ffd7040495 Code Restructuring, Regression test. 2018-12-07 11:08:13 +01:00
Achim D. Brucker 3a85255f29 Removed reference to 2016. 2018-12-06 18:47:55 +01:00
Achim D. Brucker b904b1dabf Reverted ROOTS to setup without nested paths. 2018-12-06 18:45:12 +01:00
Burkhart Wolff 1f50068373 Added crucial installation comment in the README concerning the installation 2018-12-06 18:38:15 +01:00
Burkhart Wolff f6aec1f0b1 Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-12-06 17:50:00 +01:00
Achim D. Brucker ec5e228b72 Added missing ROOTS. 2018-12-06 13:54:40 +01:00
Burkhart Wolff eda8535b1c - changed back ROOTS 
- IsaDof_Manual Monitor should be report.
 2018-12-06 12:31:12 +01:00
Achim D. Brucker a69eceb3b4 Avoid line ending conversions for shell scripts, 2018-12-05 10:33:13 +00:00
Achim D. Brucker 781c1ed0dc Manual merge. 2018-12-04 18:15:52 +00:00
Burkhart Wolff a5f9442c6e Added global command: check_doc_global 
(* checking unresolved forward references for the moment *)
 2018-12-04 15:04:50 +01:00
Burkhart Wolff 9c8d57e573 Continuous checking of class invariants of enabled monitors. 
Regression test suite revised.
 2018-12-04 14:28:59 +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 459538a1b7 Figure group. 2018-12-04 06:05:49 +00:00
Achim D. Brucker 0f2dc58f5a Multi-file setup. 2018-12-04 05:31:45 +00:00