Achim D. Brucker
|
b698572146
|
Documented Isabelle version (2023).
ci/woodpecker/push/build Pipeline failed
Details
|
2023-09-14 06:33:28 +01:00 |
Achim D. Brucker
|
d225a3253c
|
Fixed typo.
|
2023-05-15 13:03:52 +02:00 |
Achim D. Brucker
|
641bea4a58
|
Improved documentation and fixed width-bug of figure* macro.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-05-15 00:01:30 +02:00 |
Achim D. Brucker
|
d277fa2aed
|
Updated READMEs after session renaming.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-04-15 16:55:15 +01:00 |
Achim D. Brucker
|
6a1343fd06
|
Spell checking.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-03-15 10:52:23 +00:00 |
Achim D. Brucker
|
69485fd497
|
Added hint on how to build the session Isabelle_DOF-Proofs.
ci/woodpecker/push/build Pipeline was successful
Details
|
2023-03-05 23:18:47 +00:00 |
Achim D. Brucker
|
7ad7c664a3
|
Started to update documentation to match new repository layout (contributes to #23).
|
2023-02-28 00:50:23 +00:00 |
Achim D. Brucker
|
b90992121e
|
Updated README to reflect latest repository layout.
|
2023-02-25 10:28:51 +00:00 |
Achim D. Brucker
|
0c064b1c8a
|
Update.
|
2023-02-21 08:30:02 +00:00 |
Achim D. Brucker
|
1e0eeea6f9
|
Update.
ci/woodpecker/push/build Pipeline failed
Details
|
2023-02-21 08:18:05 +00:00 |
Achim D. Brucker
|
be9ef5a122
|
Update.
|
2023-02-21 08:01:43 +00:00 |
Makarius Wenzel
|
791990039b
|
Tuned messages and options, following Isabelle/c7f3e94fce7b
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-12-05 12:37:59 +01:00 |
Makarius Wenzel
|
bb5963c6e2
|
Proper usage of dof_mkroot, although its Bash pretty-printing in LaTeX is a bit odd
|
2022-12-02 14:35:17 +01:00 |
Makarius Wenzel
|
a6ab1e101e
|
Update Isabelle + AFP URLs
|
2022-12-01 11:55:51 +01:00 |
Makarius Wenzel
|
c29ec9641a
|
Simplified installation
|
2022-12-01 11:45:12 +01:00 |
Achim D. Brucker
|
b4f4048cff
|
Made clear that more than two AFP entries are required.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-11-07 17:05:04 +00:00 |
Achim D. Brucker
|
ab1877ce8e
|
Linting.
|
2022-11-01 20:58:34 +00:00 |
Achim D. Brucker
|
fc575a5be5
|
Fixed mardown.
|
2022-10-31 21:33:26 +00:00 |
Achim D. Brucker
|
4e47c38860
|
Declared installation script as deprecated.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-10-31 19:20:34 +00:00 |
Achim D. Brucker
|
873151b4f3
|
Update to Isabelle 2022.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-10-30 17:56:15 +00:00 |
Achim D. Brucker
|
99facb109c
|
Fixed link to latest version of the manual.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:57:43 +01:00 |
Achim D. Brucker
|
adf87dfde4
|
Bumped version to 1.3.0.
|
2022-07-08 12:05:39 +01:00 |
Achim D. Brucker
|
45e4a11a74
|
Clarified that before calling the install-afp script, Isabelle/DOF needs to be registered as a component.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-02 22:21:07 +01:00 |
Achim D. Brucker
|
367d8f28ad
|
Improved installation instructions.
|
2022-06-29 16:25:32 +01:00 |
Achim D. Brucker
|
d10b277c60
|
Fixed documentation.
|
2022-06-25 17:34:08 +01:00 |
Achim D. Brucker
|
b83f7a8abb
|
Updated manual.
|
2022-06-24 16:58:07 +01:00 |
Achim D. Brucker
|
41e6c9ed02
|
Fixed file attributes.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-04-18 09:44:44 +01:00 |
Achim D. Brucker
|
8a2828f3bf
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-27 14:07:51 +01:00 |
Achim D. Brucker
|
9f773ca129
|
Fixed markdown.
|
2022-03-27 14:04:45 +01:00 |
Achim D. Brucker
|
7b8ae0a93d
|
Make use of install script optional in favor of registration as Isabelle component. Style files, templates, and scripts are no longer installed into ISABELLE_USER_HOME.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-03-27 13:21:55 +01:00 |
Achim D. Brucker
|
f4286404fb
|
Merge branch 'v1.2.x/Isabelle2021'
|
2022-03-26 18:25:33 +00:00 |
Achim D. Brucker
|
ac2fab895b
|
Added artifact links for version 1.2.0.
|
2022-03-25 22:24:25 +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
|
a66e90cf25
|
Switchted to notion of upstream repository.
|
2022-03-17 08:48:25 +00:00 |
Achim D. Brucker
|
4c0d3ccee3
|
Renamed master repository to main repository.
|
2022-03-11 10:42:50 +00:00 |
Achim D. Brucker
|
51375ea983
|
Updated TeX Live dependency to version 2021.
|
2021-04-01 23:47:35 +01:00 |
Achim D. Brucker
|
78987a5ae0
|
Fixed MarkDown.
|
2021-03-22 00:40:59 +00:00 |
Achim D. Brucker
|
e20e73be90
|
Added ERT 2018 publication and added note about required version of tcolorbox.sty.
|
2021-03-22 00:12:00 +00:00 |
Achim D. Brucker
|
8d8d418f0e
|
Update after Isabelle/DOF 1.1.0/Isabelle2021 release.
|
2021-03-20 23:56:46 +00:00 |
Achim D. Brucker
|
712cea7ac9
|
Merge branch 'v1.1.x/Isabelle2020'
|
2021-03-20 22:26:14 +00:00 |
Achim D. Brucker
|
6d166ecee4
|
Added links for 1.1.0/Isabelle2020 release.
|
2021-03-20 22:19:57 +00:00 |
Achim D. Brucker
|
a0654d8db9
|
Added Nicolas Méric as contributor.
|
2021-03-20 22:05:57 +00:00 |
Achim D. Brucker
|
aadbce7844
|
Removed direct link to TeX Live installation instructions that are somewhat misleading for OS X users. The main TeX Live instructions are, actually, more helpful.
|
2021-03-15 10:24:31 +00:00 |
Achim D. Brucker
|
06dddeacf5
|
Porting to Isabelle 2021.
|
2021-03-10 22:04:09 +00:00 |
Achim D. Brucker
|
e0305a6694
|
Updated TeXLive dependency to TeXLive 2020.
|
2021-01-11 19:21:08 +00:00 |
Burkhart Wolff
|
7e2224859e
|
mmm
|
2020-06-22 17:42:40 +02:00 |
Achim D. Brucker
|
aa74c32c7d
|
Updated to the official Isabelle 2020 release and corresponding AFP version.
|
2020-04-20 18:54:22 +01:00 |
Achim D. Brucker
|
358be52b61
|
Updated Isabelle version.
|
2020-04-08 21:40:34 +01:00 |
Achim D. Brucker
|
f13e325f6a
|
Port to Isabelle 2020 (tested with Isabelle 2020 RC4).
|
2020-04-08 13:19:32 +01:00 |