Burkhart Wolff
|
438e8f8e49
|
Conflict resolved.
Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF
|
2018-05-21 11:19:40 +02:00 |
Burkhart Wolff
|
5caebdc2bb
|
viele Kleinigkeiten
|
2018-05-21 11:16:20 +02:00 |
Achim D. Brucker
|
edbdf5fd03
|
Disabled non-working value.
|
2018-05-19 22:23:44 +01:00 |
Burkhart Wolff
|
93bad550ef
|
Some library code for attribute accesses (not yet working)
RegExp Expression Inner Syntax defined
RexExp Parsing activated.
|
2018-05-11 15:51:26 +02:00 |
Burkhart Wolff
|
e29ee3789d
|
Kind of current status.
Crudely carved out of an other repository - not sure that this works.
|
2018-02-07 19:44:27 +01:00 |