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
Achim D. Brucker 20b77577cb Updated version and DOI. 2022-03-25 22:21:40 +00:00
Achim D. Brucker 16bd3b3a94 Install AFP entries as components instead of adding them to the ROOTS file. 2022-03-24 14:26:53 +00:00
Achim D. Brucker f3f24c0d2e Initial support for matrix setup generating documents using pdflatex and lualatex. 2022-03-24 10:00:01 +00:00
Achim D. Brucker 76582f75fd Merge branch 'master' into porting_to_Isabelle2021-1 2022-03-23 14:33:44 +00:00
Nicolas Méric a4f39bb700 Add TODO referring to an issue in DOF Manual 
Reference the issue
Isabelle_DOF/Isabelle_DOF#10
in a TODO in the DOF manual to remember to update the manual
when the issue is fixed
 2022-03-23 11:27:11 +01:00
Nicolas Méric 13835fbed9 Fix typos in DOF manual, chapter 5 2022-03-23 11:17:30 +01:00
Nicolas Méric cc3f9ab402 Update DOF manual, chapter 3 and 4 
- Use antiquotations when possible to reference
  classes and attributes in text (typ, type and const antiquotations)
- Add explanation for cid, obj-id and oid
- Update ML*, text* an value* railroads
- Fix typos
- Add some TODOs for the next revision of the manual
 2022-03-23 09:07:43 +01:00
Achim D. Brucker 442835442f Towards Isabelle 2021-1 support. 2022-03-22 22:19:35 +00:00
Achim D. Brucker c69b11a312 First steps towards Isabelle 2021-1 support. 2022-03-22 21:47:26 +00:00
Achim D. Brucker 0c9dcfb6e1 Merge branch 'master' into porting_to_Isabelle2021-1 2022-03-21 20:32:19 +00:00
Nicolas Méric 5d0136a168 Fix typo in DOF Manual, Chapter 3 2022-03-21 14:15:09 +01:00
Nicolas Méric 3e9adb026b Update DOF manual Chapter 3 
- Fix some minor issues:
  - Some figures did not longer correspond to their descriptions
  - Some mechanisms (definitions - examples - etc.) in referencing
    did not work any longer in the setting that we distribute.
- Fix typos
 2022-03-21 14:09:18 +01:00
Achim D. Brucker f51ee34681 Register Isabelle/DOF as proper component. 2022-03-21 08:47:05 +00:00
Achim D. Brucker ef89a95307 Fixed oversight during merge and removed patches that are no longer needed. 2022-03-20 22:41:09 +00:00
Achim D. Brucker 62726920a7 Fixed oversight during merge and removed patches that are no longer needed. 2022-03-20 22:39:18 +00:00
Achim D. Brucker 7bb4ab58e9 Removed Docker file, no longer needed for Isabelle 2021-1. 2022-03-20 22:07:33 +00:00
Achim D. Brucker 010202e34a Removed Docker instructions. 2022-03-20 22:05:38 +00:00
Achim D. Brucker 62eefcee5d Updated required Isabelle and TexLive version. 2022-03-20 22:05:08 +00:00
Achim D. Brucker abe7713f1e Disabled patch installation and updated Isabelle version. 2022-03-20 22:03:10 +00:00
Achim D. Brucker 2314b2191f Resolved merge conflict. 2022-03-20 20:49:46 +00:00
Burkhart Wolff 6bb62fb08a minor presentation bug 2022-03-20 19:04:52 +01:00
Burkhart Wolff fb91700a43 added a remark on @{cite ...} 2022-03-20 19:02:14 +01:00
Burkhart Wolff d86173834f merge 2022-03-20 18:47:18 +01:00
Burkhart Wolff 49f4c5b95b added hacky para on alternative lexical notations. 2022-03-20 18:45:53 +01:00
Achim D. Brucker 658e7a68a1 Disabled non-working antiquotation - needs to have a second look. 2022-03-20 14:57:03 +00:00
Achim D. Brucker bdc7aab6cf Minor syntax cleanup. 2022-03-20 14:55:56 +00:00
Achim D. Brucker 50e42ca5c0 Reorganized CI setup. 2022-03-20 11:04:23 +00:00
Achim D. Brucker d7cf6f1fc7 Removed outdated Jenkinsfile. 2022-03-19 21:07:12 +00:00
Achim D. Brucker a89878079e Generate link to latest artifacts. 2022-03-19 20:29:22 +00:00
Achim D. Brucker 90416c2310 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2022-03-18 20:29:35 +00:00
Achim D. Brucker 36c0e415e3 Made use of hvlogos.sty optional. 2022-03-18 20:29:22 +00:00
Burkhart Wolff 2ca84fd40f Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF 2022-03-18 19:20:29 +01:00
Burkhart Wolff 306d117231 ... 2022-03-18 19:20:25 +01:00
Nicolas Méric 2886f7df99 Update CENELEC_50128 theory 
An application condition should be an assumption
 2022-03-18 17:00:06 +01:00
Achim D. Brucker 703b9a055d Renamed build step. 2022-03-17 22:32:35 +00:00
Achim D. Brucker a950142749 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2022-03-17 22:28:49 +00:00
Achim D. Brucker 6c74a2e0f5 Basic Woodpecker setup (migration from Jenkins). 2022-03-17 22:28:31 +00:00
Nicolas Méric b7d7015423 Cleanup Manual chapter 03 2022-03-17 17:28:40 +01:00
Nicolas Méric e4195a68a2 Update DOF manual, chapters 02-03 
- Use antiquotations when possible to reference
  classes and attributes in text (typ and const antiquotations)
- Update some isar code examples
- Fix typos
 2022-03-17 17:14:20 +01:00
Achim D. Brucker 54c9bc2d74 Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2022-03-17 08:56:41 +00:00
Achim D. Brucker f6e9e39a58 Removed reference to lncs as a special case, as llncs.cls finally arrived on CTAN. 2022-03-17 08:51:37 +00:00
Achim D. Brucker a66e90cf25 Switchted to notion of upstream repository. 2022-03-17 08:48:25 +00:00
Burkhart Wolff 63c0b1e442 cosmetics in Evaluation 2022-03-16 13:25:56 +01:00
Nicolas Méric 3585b6a2f1 Explain queries on instances in DOF manual 2022-03-15 08:28:10 +01:00
Nicolas Méric 8bc2e60d2f Update high level invariants tests 2022-03-14 18:44:09 +01:00
Nicolas Méric 3895ba550c Import of DOF manual changes from /2021-ITP-PMTI 2022-03-14 17:08:59 +01:00
Nicolas Méric eb9edd66d5 Clean up code 2022-03-14 16:17:28 +01:00
Nicolas Méric a332109dca Fix scheduling problem for term* and value* 
Toplevel transition only allows atomic transactions.
So we avoid sequantial combinators
 2022-03-14 15:27:13 +01:00
Burkhart Wolff 5af219469d Corrected scheduling problem of ML*. must be atomic transaction. 2022-03-14 12:23:54 +01:00
Achim D. Brucker 17d7562d4f Updated year. 2022-03-11 11:43:02 +00:00