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 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