Burkhart Wolff
4f349de9b9
some patches in install to make it run on MacOS
2019-04-06 12:08:38 +02:00
Achim D. Brucker
a0a6c47fc6
Changed project configuration to a single configuration file.
2019-01-08 11:06:33 +00: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
Achim D. Brucker
4dc8422d0b
Added missing ontologies.tex.
2019-01-06 17:16:15 +00:00
Achim D. Brucker
958dfb8adf
Cleanup.
2019-01-06 17:03:58 +00:00
Achim D. Brucker
d03052f4d6
Reworked root.tex setup.
...
The root.tex is now copied from the user installation directory
on each build to avoid problems with an outdated document setup.
2019-01-06 17:01:13 +00:00
Achim D. Brucker
5f5e8694d1
Updated root.tex files.
2019-01-06 14:38:05 +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
30a17db2bf
Removed obsolete build scripts.
2019-01-05 23:38:56 +00:00
Achim D. Brucker
33bbd77f7a
Disable math_exam examples - they are currently not supported.
2018-12-18 22:06:47 +00: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
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
46c51235e3
Based all examples on session 'Functional-Automata'.
2018-11-06 09:31:01 +00:00
Achim D. Brucker
ab3ba421c8
Fixed ROOT (removed dependency on non-existing ontology.tex.
2018-11-06 09:30:18 +00:00
Burkhart Wolff
b1e4e64e19
Global revision of the Isa_DOF state - representation as record.
...
(Since more components are to come …)
Global revision of the entire example suite.
2018-10-05 09:45:24 +02:00
Burkhart Wolff
86e145f723
- restructuring in IsaDOF :
...
factoring out create_and_check_docitem
- correction IsaDofApplication
side_by_side figure commented in and works.
- reaactivated open_monitor.
- changing types of monitor traces : simpler calculation now,
but more obscure type
- first simulation of monitor trace construction.
2018-08-27 14:39:34 +02:00
Burkhart Wolff
0f36e8b761
Milestone reached:
...
- further debugging
- all tests checked
- all examples running (after updates to current attribute conventions)
2018-08-24 17:14:39 +02:00
Burkhart Wolff
1358540a62
Simplified thy_output (cleanup) and set first LaTeX meta-args generator.
...
Restructuring
2018-08-16 16:52:08 +02:00
Burkhart Wolff
21cd7bbcfd
Added some commands in preamble.
...
Does not work yet.
2018-07-02 13:06:18 +02:00
Achim D. Brucker
86653eff41
Updated root.tex to latest version.
2018-06-29 10:21:00 +02:00
Burkhart Wolff
35a0a27c1d
Kleinigkeiten.
2018-06-29 09:03:44 +02:00
Burkhart Wolff
c0c92ac50c
Vague pragmatics correction of the BAC example
2018-06-27 09:32:05 +02:00
Achim D. Brucker
02a697e6bb
Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF
2018-06-27 09:18:44 +02:00
Achim D. Brucker
c857160f04
Added figure.
2018-06-27 09:13:41 +02:00
Burkhart Wolff
bbf2ecb536
Kleinigkeiten um MathExam.
2018-06-27 09:12:50 +02:00
Burkhart Wolff
2ff81dbb1c
Repaired MathExam
...
(well, commented out offending figure* declaration leading
to bugs in Backend.)
2018-06-26 18:50:56 +02:00
Burkhart Wolff
6277f44e75
Working on
...
- the Toplevel sync problem for LaTeX output
- attribute computation
- various syntax issues
- examples.
2018-06-26 17:40:08 +02:00
Burkhart Wolff
a0fac2d75b
Configuration a la chasse du LaTeX generation bug (having its origine in the
...
Isar transaction engine).
2018-06-19 17:37:31 +02:00
Idir AIT SADOUNE
9e6090c6a2
no message
2018-06-13 10:35:40 +02:00
Burkhart Wolff
862bb782ac
Reworked MathExam.
2018-06-12 20:20:44 +02:00
Burkhart Wolff
e804cff226
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
2018-06-12 10:10:04 +02:00
Burkhart Wolff
e7a53276c5
Kleinkram
2018-06-12 10:09:36 +02:00
Achim D. Brucker
bab84243d2
LaTeX support for monitors.
2018-06-12 08:45:37 +01:00
Achim D. Brucker
f4c66cd085
Renamed sideBySideFigure to side_by_side_figure.
2018-06-11 18:34:41 +01:00
Achim D. Brucker
b0d40de9a1
Updated LaTeX setup.
2018-06-09 15:24:17 +01:00
Burkhart Wolff
5d4ec26b5a
Diskkussion with Achim
2018-06-08 17:42:58 +02:00
Burkhart Wolff
243545be5d
Passt doch.
...
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
2018-06-08 17:12:45 +02:00
Achim D. Brucker
d9228420e1
Port to Isabelle/DOF 0.0.3.
2018-06-08 14:41:16 +01:00
Burkhart Wolff
87fa4a975f
iUpdated nach diskussion mit Achim
2018-06-08 12:13:45 +02:00
Burkhart Wolff
ea4246a7a0
ncomplete checkin. Modifs on ROOT.
2018-06-08 11:46:44 +02:00
Burkhart Wolff
cab810a8a6
Restructuring, and basic infrastructure for buildsRestructuring, and basic infrastructure for builds..
2018-06-08 09:29:57 +02:00
Burkhart Wolff
68afffe674
Modifs on Math-Exam. and Article.
...
Preparing code-infrastructure for Attribute Evaluations.
Improved “MyCommented Isabelle”.
2018-06-07 13:56:15 +02:00
Chantal Keller
7eb9082628
Merge branch 'master' of git.logicalhacking.com:HOL-OCL/Isabelle_DOF
2018-06-06 19:27:16 +02:00
Chantal Keller
30b3526fb2
BAC2017: more structure
2018-06-06 19:24:17 +02:00
Idir AIT SADOUNE
23db0e7568
no message
2018-06-06 12:00:22 +02:00
Chantal Keller
80f92c168c
BAC2017: tried proofs
2018-06-06 08:37:06 +02:00
Chantal Keller
3b7a029d35
BAC2017: first two questions
2018-06-05 20:56:02 +02:00
Chantal Keller
49f1ed5200
BAC2017: removed errors
2018-06-05 19:20:00 +02:00
Idir AIT SADOUNE
b030859ddf
no message
2018-06-04 14:46:11 +02:00