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

1592 Commits

Author SHA1 Message Date
Nicolas Méric 3d02461aa2 Parametric invariant test 2022-06-01 07:49:59 +02:00
Nicolas Méric ee647d2822 Update bibliography bbl latex file 2022-05-08 11:01:41 +02:00
Nicolas Méric 92b515730d Update myintro invariant 
The author_finite invariant did not check anything,
as the the elements of the set are already type checked.
The new author_set definition checks that the set is not empty, i.e.,
that myintro has an author.
 2022-05-08 10:45:26 +02:00
Nicolas Méric fb55ed8ded Update Bu email address 2022-04-26 09:39:35 +02:00
Nicolas Méric 8b1b7736ee Fix typo 2022-04-26 09:03:19 +02:00
Burkhart Wolff fbf34f9a35 reviewed critical parts 
- introction: ITP explained
- revised related work
- revised conclusion
 2022-04-25 21:16:12 +02:00
Idir AIT SADOUNE 1714703272 introducing proof of invariant preservation and conclusion about related work 2022-04-25 10:17:55 +02:00
Nicolas Méric 7b0d446724 Update bbl file 2022-04-22 16:23:28 +02:00
Nicolas Méric 0cc17a136e Add latex compilation material to use bbl file 2022-04-22 16:08:55 +02:00
Nicolas Méric e69808750c Polish layout and fix typos 2022-04-22 15:45:27 +02:00
Nicolas Méric d5b195d873 Captitalize Nouns first letter in figure captions 2022-04-22 15:17:23 +02:00
Nicolas Méric a5796277fd Add back position in mathematical oriented related works 2022-04-22 14:56:39 +02:00
Nicolas Méric 4f5f4996af Fix typos 2022-04-22 09:40:49 +02:00
Nicolas Méric 763c0a515b Fix typos 2022-04-21 14:21:23 +02:00
Idir AIT SADOUNE a803d999c0 Reorganization of the Proving Morphisms on Ontologies section 2022-04-21 13:37:36 +02:00
Nicolas Méric e4e8199e33 Explain disabled invariant in SWIS_E 2022-04-21 11:14:32 +02:00
Nicolas Méric 7618f8b2c4 Update bibliography and bbl file 2022-04-20 17:20:00 +02:00
Nicolas Méric 30fc7a306f Trim mapping definition 2022-04-20 16:27:53 +02:00
Nicolas Méric 3260ae3406 Update bbl file 2022-04-20 16:03:20 +02:00
Nicolas Méric 108be68f19 Update bibliography 2022-04-20 15:39:38 +02:00
Nicolas Méric 0ee58a65e6 Add trimmed bbl bibliography file to archiv 2022-04-20 15:10:45 +02:00
Nicolas Méric f30ff6a967 Homogenize refrence style for onto class 2022-04-20 15:06:34 +02:00
Nicolas Méric b448b87395 Homogenize reference style used for onto and doc classes 2022-04-20 15:05:00 +02:00
Nicolas Méric 57c984d4dc Merge remote-tracking branch 'refs/remotes/origin/ICFEM-2022' into ICFEM-2022 2022-04-20 14:58:15 +02:00
Nicolas Méric 35b50e419f Update related work and enable checking for section 5 
Also fix typos
 2022-04-20 14:51:39 +02:00
Burkhart Wolff 230336f0a4 Merge branch 'ICFEM-2022' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into ICFEM-2022 2022-04-20 13:57:46 +02:00
Burkhart Wolff 8e056e0e8a changed finish intro 2022-04-20 13:57:32 +02:00
Nicolas Méric 9770f8c332 Delete useless option in ICFEM 2022 paper ROOT 
- document_comment_latex=true is required for lipics style
  but the paper uses lncs style
 2022-04-20 10:32:42 +02:00
Nicolas Méric 8aba7f272a Delete useless bibtex stylefile after upstream update 2022-04-20 10:29:14 +02:00
Nicolas Méric 9b396b6096 Merge branch 'main' into ICFEM-2022 2022-04-20 09:32:08 +02:00
Burkhart Wolff 53333d7096 layout optimizations 2022-04-19 22:18:35 +02:00
Burkhart Wolff 624b0e4af1 polishing 2022-04-19 21:55:41 +02:00
Burkhart Wolff 301d4ac5c2 layout polishing 2022-04-19 20:24:04 +02:00
Burkhart Wolff 908827e0ea slight shortening, layout polishing. 2022-04-19 19:59:26 +02:00
Burkhart Wolff 5e97dfb6fe shortenings intro. 2022-04-19 15:06:39 +02:00
Nicolas Méric d8fde4b4f4 Cleanup and add test for meta-args for assert* 2022-04-19 14:05:52 +02:00
Burkhart Wolff ee3428d384 Merge branch 'ICFEM-2022' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into ICFEM-2022 2022-04-19 14:03:57 +02:00
Burkhart Wolff c9beb99b7a Elements in the intro 
- enlarging the scope to engineering
- addig recfs.
 2022-04-19 14:02:37 +02:00
Idir AIT SADOUNE aa6d11f73c updating references in root.bib 2022-04-19 00:35:04 +02:00
Idir AIT SADOUNE 681b8f828d updating related work section 2022-04-18 11:02:48 +02:00
Achim D. Brucker 41e6c9ed02 Fixed file attributes. 2022-04-18 09:44:44 +01:00
Achim D. Brucker cbad96aba5 Fixed file attributes. 2022-04-18 09:22:57 +01:00
Achim D. Brucker 82c9a07c1a Fixed file attributes. 2022-04-18 09:20:55 +01:00
Achim D. Brucker ae8b91ac4e Fixed file attributes. 2022-04-18 09:20:36 +01:00
Achim D. Brucker 0f3f5d4b56 Fixed file attributes. 2022-04-17 16:32:12 +01:00
Achim D. Brucker fee83a2a29 Remove outdated and obsoleted ontologies. 2022-04-16 09:13:31 +01:00
Achim D. Brucker a0993b6eea Initial commit. 2022-04-15 22:05:19 +01:00
Achim D. Brucker 64b4eca5ea Avoid using natbib. 2022-04-15 21:56:01 +01:00
Achim D. Brucker 2e4fb5d174 Added development version of authorarchive.sty, as version in TexLive 2022 is outdated. 2022-04-15 21:13:10 +01:00
Achim D. Brucker 317c5a7759 Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF 2022-04-15 21:03:59 +01:00