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
Burkhart Wolff 5ca263711c Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-04-29 09:55:21 +02:00
Burkhart Wolff 5ff40948af merge commit 2018-04-29 09:53:51 +02:00
Achim D. Brucker cc84c364a4 Remove quotes. 2018-04-29 00:11:33 +01:00
Achim D. Brucker e6b5d8bf5c Re-map isacharplus. 2018-04-28 22:52:29 +01:00
Achim D. Brucker 51d4d71e90 Generate type specific LaTeX commands. 2018-04-28 21:49:50 +01:00
Achim D. Brucker f5ef91fb72 Changed type of ORCID (non-option type, just string). 2018-04-28 21:45:02 +01:00
Achim D. Brucker 0f9910917e Initial conversion. 2018-04-28 17:44:43 +01:00
Achim D. Brucker b90df780fe Resolved merge conflict. 2018-04-28 17:44:06 +01:00
Achim D. Brucker 3587183a3f Renaming: keyword_list => keywordlist (to avoid LaTex special characters). 2018-04-28 17:42:16 +01:00
Achim D. Brucker f437e1337c Disable markdown. 2018-04-28 17:41:34 +01:00
Burkhart Wolff be3c0fa315 worked on onto and instance of Conceptual example. 
For framework paper
 2018-04-28 15:15:25 +02:00
Burkhart Wolff 3e746a4d9d Typing works (more or less) for the value. 
Sometimes schematic variables were left-overs;
was able to suppress this type of fault by additional
annotations.
Sometimes confusion o heavily overloaded field names.
Also workaround by stronger annotations.
 2018-04-27 17:12:42 +02:00
Burkhart Wolff fb9da6784e Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-04-27 12:06:06 +02:00
Burkhart Wolff f01b36997e Version without type check and updated Article.thy 2018-04-27 12:05:22 +02:00
Idir AIT SADOUNE afc1518dde no message 2018-04-27 11:33:47 +02:00
Idir AIT SADOUNE 7a47c5702f Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 
# Conflicts:
#	examples/simple/Article.thy
 2018-04-27 11:16:41 +02:00
Idir AIT SADOUNE 01dac36275 no message 2018-04-27 11:15:27 +02:00
Burkhart Wolff 5bcd4c19b1 Intermediate Version 
- attribute value generation
- update interpreted
- type-checking integrated but crashes
- news on scholarly_paper …
 2018-04-27 10:34:24 +02:00
Burkhart Wolff 0474c47957 Thanks to a decisive Hint by Frederic Tuong: 
Managed to solve the Top-level-transaction problem
in “enriched_document_command”. Yay !!!
 2018-04-24 21:44:28 +02:00
Burkhart Wolff b54ed35466 Polishing in 3 and 4, micro-shortening, and new stuff in 4. 2018-04-22 13:47:29 +02:00
Burkhart Wolff eae6eaf005 Added “hidden tag fields” in order to make doc-classes disjoint 
Added overriding semantics and
overloading checks.
 2018-04-20 13:19:50 +02:00
Burkhart Wolff 8ea00650a5 Minor corrections, refactoring, steps towards attribute calculation. 2018-04-19 11:04:11 +02:00
Burkhart Wolff 066396cfae Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-04-18 14:47:12 +02:00
Burkhart Wolff 99bdf17712 parsing and internal type-checking works. 
No integral type checking yet, and no execution.
 2018-04-18 14:46:28 +02:00
Idir AIT SADOUNE ea5c4e2fa9 Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-04-18 09:37:12 +02:00
Idir AIT SADOUNE 2e185d9c25 no message 2018-04-18 09:36:21 +02:00
Burkhart Wolff e327461838 Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-04-17 17:40:37 +02:00
Burkhart Wolff 7aa52c3fa1 Finally solved the problem with the type conformance of default values to declared attribute types. 2018-04-17 17:39:16 +02:00
Idir AIT SADOUNE baa3ee9b45 no message 2018-04-17 16:43:08 +02:00
Idir AIT SADOUNE d3d7bd7609 no message 2018-04-17 16:42:45 +02:00
Burkhart Wolff a39e0b1b19 Some useful stuff on the Type and Sign interfaces documented, 2018-04-17 16:25:32 +02:00
Burkhart Wolff cf1f4399eb Slight extensions in the scholarly paper onto for pictures (and tables ?) 2018-04-17 15:58:11 +02:00
Burkhart Wolff be04e99c2f Added little things in Idir example. 
Just to show.
 2018-04-17 15:24:19 +02:00
Burkhart Wolff 325b45834c Merge branch 'master' of https://git.logicalhacking.com/HOL-OCL/Isabelle_DOF 2018-04-17 15:09:10 +02:00
Burkhart Wolff 18c0f6f06d Commented out attribute conformance check since problems. 2018-04-17 15:08:01 +02:00
Idir AIT SADOUNE 9576e6816e no message 2018-04-17 11:14:52 +02:00
Burkhart Wolff 731fd9c775 Diverses 2018-04-16 17:00:31 +02:00
Burkhart Wolff 4c7a8ed91a kleinkram 2018-04-09 11:54:54 +02:00
Achim D. Brucker 1c558f89a3 Documented Eclipse setup. 2018-04-08 17:32:04 +01:00
Achim D. Brucker 0645a9264e Added license information. 2018-04-08 17:13:45 +01:00
Achim D. Brucker 0929d73541 Improved warning message. 2018-04-08 16:37:16 +01:00
Achim D. Brucker b63c8da6cb Added \_ as token. 2018-04-08 16:36:46 +01:00
Achim D. Brucker c336aee16f Added version check. 2018-04-08 15:58:18 +01:00
Achim D. Brucker 77cfc621aa Allow <> in LaTeX commands. 2018-04-08 15:18:24 +01:00
Achim D. Brucker 99882abafa Removed obsolete fixltx2e. 2018-04-08 14:54:29 +01:00
Achim D. Brucker e60afde3f9 Added simple parser for command line arguments. 2018-04-08 14:23:56 +01:00
Achim D. Brucker cd26348056 Improved error handling. 2018-04-08 13:35:21 +01:00
Achim D. Brucker a23efa6a8e Skip empty files. 2018-04-08 12:21:09 +01:00
Burkhart Wolff 64a1c82242 Diverses 2018-04-08 11:29:59 +02:00
Achim D. Brucker 3cf86c2d32 Added session Isabelle_DOF. 2018-04-07 22:08:29 +01:00