Commit Graph

709 Commits

Author SHA1 Message Date
Burkhart Wolff f3f95fe112 added syntax for modes of doc_class_references.
For forward-references, defining references, …

Global semantics untested and undocumented -> impl paper.

Preparative step for doc_class_reference generation.
2018-03-29 11:19:07 +02:00
Burkhart Wolff 9dfa14eaea retouches 2018-03-28 21:08:37 +02:00
Burkhart Wolff 497c79349b Slight restructuring.
Ontology instances in one site,
separated from the Isa_DOF core.
2018-03-21 11:59:27 +01:00
Burkhart Wolff 868e6537db Kleinkram
- ein paar Elemente im Parser
- neue tests im Exampl
2018-03-14 18:03:35 +01:00
Burkhart Wolff a30e2061cd A decisive intermediate step: got sub-classing running,
and pervasive point-and-click on doc-class references.

The entire thing starts to get presentable.
2018-02-28 14:06:52 +01:00
Burkhart Wolff 6c59d9ba15 Refined the management of document classes and doc item refs.
Refs were internally stored as global names.
Cross-Referencing over file-boundaries seems to work.
2018-02-27 12:02:19 +01:00
Burkhart Wolff a64ed349d9 Added more checks.
doc_class references now consequently based on short_names (for now).
2018-02-09 12:25:15 +01:00
Burkhart Wolff 1d8872272b Management of doc_classes added,
elementary checking of  doc-class referencing.
2018-02-08 16:25:15 +01: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