Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity
2,072 Commits 14 Branches 9 Tags 76 MiB
Commit Graph

2072 Commits

Author SHA1 Message Date
Achim D. Brucker 5e3bdbd340 Bug fix: directory creation. 2018-04-07 21:52:35 +01:00
Achim D. Brucker 313a6ea930 Bug fix: directory creation. 2018-04-07 21:44:26 +01:00
Achim D. Brucker e4f5f9bf68 Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF 2018-04-07 21:29:35 +01:00
Achim D. Brucker ebd844f212 Added test for Isabelle_DOF installation. 2018-04-07 21:29:21 +01:00
Idir AIT SADOUNE 5feca3e0e1 no message 2018-04-06 14:48:43 +02:00
Idir AIT SADOUNE 9ee8811576 no message 2018-04-06 14:32:22 +02:00
Idir AIT SADOUNE c3a4111833 no message 2018-04-06 14:25:21 +02:00
Idir AIT SADOUNE 376c3fdd3b no message 2018-04-06 14:13:17 +02:00
Burkhart Wolff 46e1be6411 Added syntax for update_instance*… 
+= variant does not yet work.
 2018-04-05 12:44:52 +02:00
Burkhart Wolff f8692dd801 Renamed LNCS_onto into “scholarly_paper”. 
Decided for the trace variant semantics of monitors.
(more power, easier to implement)
 2018-04-05 12:09:58 +02:00
Burkhart Wolff 5e48dcffdf Ontology checking bug for unrelated direct sub_classes fixed. 
Enfin !
 2018-04-04 18:08:18 +02:00
Burkhart Wolff 027361fb03 unified syntax: 
renamed declare_reference open_monitor close_monitor
into declare_reference* open_monitor* close_monitor*
in order to simplify the task for Achim.
 2018-04-04 17:04:19 +02:00
Burkhart Wolff 229997d60a Added open/close monitor syntax. 2018-04-04 16:25:33 +02:00
Burkhart Wolff 4d09fc5e34 slight re-arrangement of the examples: 
the simple example becomes a cenelec example,
and simple got an example called Article based on
to the LNCS_onto.
 2018-04-04 16:14:37 +02:00
Burkhart Wolff 5bc9ddfd52 Running Version for Antiquotqtion Generation - 
with a Big - direct sons lead to false errors
 2018-04-04 14:44:21 +02:00
Burkhart Wolff 3338fffe19 General SML code cleanup. 
Further approximation to DocRef Generation.
 2018-04-04 10:45:56 +02:00
Achim D. Brucker 554b2c2ce1 Ignore eclipse project files. 2018-04-03 17:43:40 +01:00
Achim D. Brucker f343af9b54 Integrated LaTexLexer. 2018-04-03 17:42:43 +01:00
Achim D. Brucker 0a517350c4 Bug fixes and added toString() method. 2018-04-03 17:42:25 +01:00
Achim D. Brucker 43f3215938 First set of test cases. 2018-04-03 17:42:08 +01:00
Achim D. Brucker 355aae24ec Added junit (to allow the use of JUnit-Runner in Eclipse as an alternative to the ScalaTest-Runner). 2018-04-03 17:41:43 +01:00
Achim D. Brucker e7086892be Add support for scalatest runnter via maven. 2018-04-03 12:13:44 +01:00
Achim D. Brucker ca3ac58789 Initial maven setup. 2018-04-03 11:23:23 +01:00
Achim D. Brucker 9804f0f976 Initial commit. 2018-04-02 22:17:14 +01:00
Achim D. Brucker 57344fe6a5 Simlistic Eclipse project setup. 2018-04-02 22:13:20 +01:00
Achim D. Brucker 4a3adee46f Moved Scala source files into package directory to prepare Eclipse setup. 2018-04-02 21:36:00 +01:00
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 7305efc159 Added slightly better popup explanation for document classes. 2018-03-28 17:05:01 +02:00
Burkhart Wolff 7bca4e8954 stand der diskussion 2018-03-28 13:57:25 +02:00
Burkhart Wolff df5bf507cf Some more elements for a *parser* of LaTeX. 
>>>>>>>>>>>>>>>>>

import scala.util.parsing.combinator.Parsers
import scala.util.parsing.input.{NoPosition, Position, Reader}

object LaTeXParser extends Parsers {
  override type Elem = LaTeXToken

class LaTeXTokenReader(tokens: Seq[LaTeXToken]) extends Reader[Seq[LaTeXToken]] {
  override def first: Seq[LaTeXToken] = tokens.head::Nil
  override def atEnd: Boolean = tokens.isEmpty
  override def pos:   Position = NoPosition
  override def rest:  Reader[Seq[LaTeXToken]] = new LaTeXTokenReader(tokens.tail)
}
}

compiles, but the rest does not work. Unknown parsers etc.
Pb apparently with importing.
 2018-03-28 13:08:55 +02:00
Burkhart Wolff 38f8772a6a derniers touches 2018-03-28 09:24:27 +02:00
Burkhart Wolff 4f0b57cf67 Minor update in the LNCS_onto example 2018-03-27 09:41:39 +02:00
Burkhart Wolff 1ac4ae629f Minor path problem in example 2018-03-22 12:55:31 +01: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 4c9e7c74a1 More thoughts on an example, and 
some description on monitor document classes.
 2018-03-21 11:30:34 +01:00
Burkhart Wolff 14d03320b6 Neues Beispiel und Kleinkram. 2018-03-20 22:28:23 +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 5c5ff0ae0a scala combinators parse-group, purify, and a very first transducer. 2018-03-08 19:07:53 +01:00
Burkhart Wolff 6c4b19944f added parse-group combinator on Token Lists. 2018-03-08 10:43:48 +01:00
Achim D. Brucker b1d39bd9ec Added: simple test setup. 2018-03-06 09:44:07 +00:00
Achim D. Brucker e72addeca8 Fixed typo. 2018-03-06 08:23:06 +00:00
Achim D. Brucker e0a5041f37 Removed toUppper from output. 2018-03-06 07:45:04 +00:00
Achim D. Brucker aa3d636260 Removed unused file. 2018-03-06 07:44:48 +00:00
Achim D. Brucker 2afb75ef03 Removed toUppper from output. 2018-03-06 07:43:42 +00:00
Achim D. Brucker 68b4da3062 Initial commit. 2018-03-06 06:43:16 +00:00
Achim D. Brucker 0e96ddc8ac Fixed typo. 2018-03-06 06:42:10 +00:00
Achim D. Brucker 4eca8aa0fe Renaming. 2018-03-06 06:41:33 +00:00
Achim D. Brucker 31df80022e Implemented basic file i/o. 2018-03-06 06:37:33 +00:00
Achim D. Brucker 928557eced Exit on first error. 2018-03-05 23:32:56 +00:00