Achim D. Brucker
|
3eba90f978
|
Revised abstract.
|
2019-07-30 22:57:22 +01:00 |
Achim D. Brucker
|
c4671d3802
|
Improved reference to repository URL.
|
2019-07-29 07:21:39 +01:00 |
Achim D. Brucker
|
c8abf69d8d
|
Introduced \isabelleversion.
|
2019-07-28 20:46:20 +01:00 |
Achim D. Brucker
|
94fdf75627
|
Applied renaming: Paris-Sud to Paris-Saclay.
|
2019-07-28 12:01:58 +01:00 |
Achim D. Brucker
|
458f076473
|
Fixed lstisar syntax.
|
2019-07-28 11:53:39 +01:00 |
Achim D. Brucker
|
76c722b3bb
|
Updated chapter/section titles.
|
2019-07-28 10:56:04 +01:00 |
Achim D. Brucker
|
8a2cfc1044
|
Improved title page.
|
2019-07-28 10:55:39 +01:00 |
Achim D. Brucker
|
c43d844082
|
Updated page layout.
|
2019-07-27 20:16:28 +01:00 |
Achim D. Brucker
|
f57888284f
|
Minor changes for demonstrating document support for SRAC, EC, assumption, and hypthesis.
|
2019-07-27 19:05:45 +01:00 |
Achim D. Brucker
|
a433c6ba06
|
Improved support for SRAC, EC, assumption, and hypthesis.
|
2019-07-27 19:05:10 +01:00 |
Achim D. Brucker
|
3649197e1f
|
Added index style.
|
2019-07-27 19:04:45 +01:00 |
Achim D. Brucker
|
14a7bee506
|
Updated layout for SRACs and ECs and added table of SRACs/ECs.
|
2019-07-27 15:14:32 +01:00 |
Achim D. Brucker
|
db9afaaa49
|
Added frontmatter-environment for supporting configuration using hooks.
|
2019-07-27 15:11:43 +01:00 |
Achim D. Brucker
|
6b0ce07ef6
|
Added basic layout for SRACs and ECs.
|
2019-07-27 09:39:40 +01:00 |
Achim D. Brucker
|
75e04b164a
|
Improved copyright informaton.
|
2019-07-26 16:13:20 +01:00 |
Achim D. Brucker
|
beeb948c77
|
Inital commit of a major revision of this example.
|
2019-07-25 10:50:09 +01:00 |
Achim D. Brucker
|
d0306e62bc
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-07-23 15:31:03 +01:00 |
Achim D. Brucker
|
92e9dfb70f
|
Swichted to document template scrreprt-modern.
|
2019-07-23 15:30:56 +01:00 |
Achim D. Brucker
|
6515237158
|
Various layout improvements.
|
2019-07-23 15:30:26 +01:00 |
Achim D. Brucker
|
51c9dbfcff
|
Ignore tmp-files.
|
2019-07-23 15:14:09 +01:00 |
Achim D. Brucker
|
7093fb523c
|
Fixed URL style.
|
2019-07-23 15:13:15 +01:00 |
Burkhart Wolff
|
6526fd2e70
|
04_RefMan.thy
|
2019-07-23 16:04:08 +02:00 |
Burkhart Wolff
|
b894ee31a0
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2019-07-23 15:27:03 +02:00 |
Burkhart Wolff
|
97701d62d7
|
local improvements due to remarks of Frederic.
|
2019-07-23 15:26:48 +02:00 |
Achim D. Brucker
|
a6b3a6f44e
|
Initial commit.
|
2019-07-23 13:51:30 +01:00 |
Achim D. Brucker
|
2a65c04ac6
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-07-23 12:17:04 +01:00 |
Burkhart Wolff
|
bf4255dbf9
|
Many little things
|
2019-07-23 09:41:15 +02:00 |
Burkhart Wolff
|
68f865557b
|
corrected affiliation
|
2019-07-23 08:56:51 +02:00 |
Achim D. Brucker
|
78dbffe763
|
Updated title.
|
2019-07-23 07:51:27 +01:00 |
Achim D. Brucker
|
36f7ebc4bf
|
Fixed naming inconsistency.
|
2019-07-23 07:41:27 +01:00 |
Burkhart Wolff
|
f583ea60c3
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2019-07-22 16:36:00 +02:00 |
Burkhart Wolff
|
502c1460b4
|
restructuring of section 4, some polishing intro.
|
2019-07-22 16:35:57 +02:00 |
Achim D. Brucker
|
c5413107af
|
Added Isabelle/DOF logo.
|
2019-07-22 15:07:59 +01:00 |
Achim D. Brucker
|
a644634cf9
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-07-22 14:41:53 +01:00 |
Achim D. Brucker
|
281cb5541c
|
Fixed naming inconsistency.
|
2019-07-22 14:41:29 +01:00 |
Burkhart Wolff
|
856f652082
|
added sections on conservative term programming and a definition example as specification construct
|
2019-07-22 15:37:47 +02:00 |
Achim D. Brucker
|
c3dcb1ba2a
|
Improved markdown.
|
2019-07-21 17:05:27 +01:00 |
Achim D. Brucker
|
ecbb18fac8
|
Added license information.
|
2019-07-21 16:47:33 +01:00 |
Achim D. Brucker
|
c22824e617
|
Updted default layout for technical reports.
|
2019-07-21 16:45:50 +01:00 |
Achim D. Brucker
|
f734c0eb5e
|
Merge branch 'master' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2019-07-21 16:15:02 +01:00 |
Achim D. Brucker
|
6f574e49d5
|
Updated author information.
|
2019-07-21 16:14:42 +01:00 |
Achim D. Brucker
|
c5a6d686c8
|
Removed availability information.
|
2019-07-21 16:14:32 +01:00 |
Achim D. Brucker
|
432d2f0ba3
|
Updated listings setup.
|
2019-07-21 16:02:46 +01:00 |
Burkhart Wolff
|
36ff213103
|
more experiments
|
2019-07-21 16:35:08 +02:00 |
Burkhart Wolff
|
f3c5aed97a
|
more experiments
|
2019-07-21 16:26:33 +02:00 |
Burkhart Wolff
|
869a1d6729
|
more experiments
|
2019-07-21 16:18:14 +02:00 |
Burkhart Wolff
|
b88031ec27
|
Merge branch 'master' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
|
2019-07-21 16:07:01 +02:00 |
Burkhart Wolff
|
269623ab74
|
added experiment with cartouche syntax ...
|
2019-07-21 16:06:51 +02:00 |
Achim D. Brucker
|
19c8963abd
|
Updated lstisadof.sty.
|
2019-07-21 10:41:06 +01:00 |
Achim D. Brucker
|
eef387198a
|
Updated URL of Isabelle/DOF repository.
|
2019-07-21 10:22:06 +01:00 |