nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
1,541 Commits 31 Branches 0 Tags 57 MiB
Commit Graph

1541 Commits

Author SHA1 Message Date
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
Achim D. Brucker 57cc050304 Bug fix: path of jar file. 2018-03-05 23:32:26 +00:00
Achim D. Brucker a5a1219ea7 Initial commit: installation script. 2018-03-05 22:22:06 +00:00
Achim D. Brucker e64cb61f53 Initial commit: default root file for DOF documents. 2018-03-05 22:20:34 +00:00
Achim D. Brucker ba974e6950 Bug fig: include build in document files. 2018-03-05 22:19:16 +00:00
Achim D. Brucker d2eb00f827 Initial commit: mkroot tool variant that configures DOF setup. 2018-03-05 22:00:05 +00:00
Achim D. Brucker 161e7374b0 First working version. 2018-03-05 21:59:12 +00:00
Achim D. Brucker cd85e9152f Updated license header. 2018-03-05 20:13:14 +00:00
Achim D. Brucker 6b9f4322b4 Renaming. 2018-03-05 19:15:25 +00:00
Achim D. Brucker 0ee387b3b4 Initial commit: LaTeX build script for Isabelle documents. 2018-03-05 16:02:48 +00:00
Achim D. Brucker 509df1bb86 Initial commit: LaTeX style file setup. 2018-03-05 10:14:49 +00:00
Achim D. Brucker 6c39fe1451 Initial commit: Scala build setup. 2018-03-05 09:53:51 +00:00
Burkhart Wolff 8f35faf389 yet another idea … 2018-03-02 07:29:53 +01:00
Burkhart Wolff c487a16e38 Added examples for samples 
— preparing discussion with Achim.
 2018-03-02 07:26:30 +01:00
Burkhart Wolff 0baa75d29d Discovery : the bug was actually not a bug, rather a feature. 2018-03-01 17:32:15 +01:00
Burkhart Wolff dda06c36df A first implementation of the LaTeX Converter in Scala. 
Type-checked till “Testing Zone”
Contains essentially the LaTeX Lexer, but still
contains an error wrt. the ambiguity:
- \begin … {
- \<arbitrary command>
 2018-03-01 17:14:03 +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 9686a7597a Lots of debugging 
Sub-Classing Works
 2018-02-28 11:31:42 +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
HOL-OCL 5bb766e131 initial commit 2018-02-07 18:43:15 +01:00