Burkhart Wolff
|
fc3bb91d1a
|
Merge branch 'main' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline is pending
|
2025-03-31 19:34:46 +02:00 |
|
Burkhart Wolff
|
ebb9058f73
|
better explanations.
|
2025-03-31 19:34:40 +02:00 |
|
|
|
abc822e531
|
added a para on how to acrtivate the previewer.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-31 16:39:28 +02:00 |
|
|
|
9e39651465
|
improving section on previewer.
|
2025-03-31 15:30:02 +02:00 |
|
|
|
a80a0109e2
|
improving section on previewer.
|
2025-03-31 15:29:32 +02:00 |
|
|
|
42114d4200
|
Updated publications.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-16 18:13:21 +00:00 |
|
|
|
90d7eb473d
|
Documented switch to Isabelle 2025.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-16 18:10:30 +00:00 |
|
|
|
36ed8aeef2
|
Re-added install-afp script (unsupported)!
ci/woodpecker/push/build Pipeline is pending
|
2025-03-16 18:08:03 +00:00 |
|
|
|
b7ca17ea35
|
Updated AFP version for Isabelle 2025.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-16 17:40:53 +00:00 |
|
|
|
66daa58bea
|
Merge branch 'isabelle_nightly' into Isabelle2025
ci/woodpecker/push/build Pipeline is pending
|
2025-03-13 17:57:11 +00:00 |
|
|
|
a59d0cd157
|
Update to latest development version of Isabelle.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-13 17:56:47 +00:00 |
|
|
|
e018812ed2
|
Merge.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-13 14:46:01 +00:00 |
|
|
|
95b30e8b5f
|
Update to latest development version of Isabelle.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-13 14:45:00 +00:00 |
|
|
|
323580adc4
|
Minor version tuning.
|
2025-03-13 14:44:33 +00:00 |
|
|
|
1aeb275ea6
|
Merge.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-13 07:20:58 +00:00 |
|
|
|
10949cb5a3
|
Integrated changes from AFP for Isabelle 2025.
|
2025-03-13 07:17:46 +00:00 |
|
|
|
aabc3658dd
|
Various cosmetic changes.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-13 06:32:03 +00:00 |
|
|
|
39c50c52de
|
Initial commit.
ci/woodpecker/push/build Pipeline is pending
|
2025-03-12 09:18:43 +00:00 |
|
|
|
2e7a48f21f
|
Removed AFP directory, which is not available in this repository.
|
2024-07-16 14:31:55 +01:00 |
|
|
|
d4584d8061
|
Fixed installation instructions.
|
2024-07-16 09:58:59 +01:00 |
|
|
|
564fd8feda
|
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
|
2024-07-16 09:47:22 +01:00 |
|
|
|
8cc015821b
|
Updated AFP date.
|
2024-07-16 09:46:55 +01:00 |
|
Burkhart Wolff
|
1335e0328a
|
added comment to complete build
|
2024-07-16 09:31:56 +02:00 |
|
Burkhart Wolff
|
f134fe48d7
|
merge
|
2024-07-16 09:28:53 +02:00 |
|
Burkhart Wolff
|
6a48feb5ed
|
bugs in installation description.
|
2024-07-16 09:25:45 +02:00 |
|
|
|
7490c8d436
|
Ensure that istnall-afp is executed in the local directory.
|
2024-07-16 07:47:57 +01:00 |
|
|
|
cdffd1358e
|
Fixed outdated reference to Isabelle 2023.
|
2024-06-17 20:47:25 +01:00 |
|
|
|
8171550847
|
Do not provide authand commands already defined by LIPICS.
|
2024-06-15 20:37:20 +01:00 |
|
|
|
79ee10c4d6
|
Merge branch 'main' into isabelle_nightly
|
2024-05-30 10:47:51 +01:00 |
|
|
|
3d9fcc99ab
|
Fixed scala build path.
|
2024-05-27 12:22:41 +01:00 |
|
|
|
b1ac9a4202
|
Update to document need for development version of Isabelle.
|
2024-05-27 11:48:25 +01:00 |
|
|
|
ddb780a529
|
Re-added image source files.
|
2024-05-27 09:30:19 +01:00 |
|
|
|
8283d2311c
|
Update to Isabelle 2024.
|
2024-05-27 09:30:01 +01:00 |
|
|
|
46e292d5d0
|
Merge branch 'upstream_afp_release' into Isabelle2024
|
2024-05-27 08:36:23 +01:00 |
|
|
|
c0996d4b1c
|
Imported AFP release for Isabelle 2024 (afp-2024-05-26).
|
2024-05-27 08:32:36 +01:00 |
|
|
|
8bbde674b9
|
Updated API.
|
2024-05-26 21:25:00 +01:00 |
|
|
|
703cdbe175
|
Merge branch 'main' into isabelle_nightly
|
2024-05-16 21:52:53 +01:00 |
|
|
|
f51f864dbb
|
Fixed DOIs.
|
2024-05-16 21:52:40 +01:00 |
|
|
|
0b7f125abf
|
Merge branch 'main' into isabelle_nightly
|
2024-05-15 21:07:06 +01:00 |
|
|
|
4e7b226059
|
Fixed URL for repository and fixed wrong name for branch working on Isabelle's development version.
|
2024-05-15 21:06:23 +01:00 |
|
|
|
9feeb63665
|
Linting ...
|
2024-04-26 07:00:44 +01:00 |
|
|
|
55e42142fa
|
Spell Checking.
|
2024-04-26 02:32:25 +01:00 |
|
|
|
26774fc053
|
Merge branch 'afp_resubmission' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF into afp_resubmission
|
2024-04-18 09:11:26 +01:00 |
|
|
|
7d6048bf64
|
Merge branch 'afp_resubmission' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into afp_resubmission
|
2024-04-16 11:11:07 +02:00 |
|
|
|
231892cd23
|
...
|
2024-04-16 11:11:04 +02:00 |
|
Nicolas Méric
|
c945da75fa
|
Proof reading
|
2024-04-15 14:28:31 +02:00 |
|
Nicolas Méric
|
b554f20a5c
|
Move onto_morphism command to isabelle dof core
|
2024-04-15 12:57:42 +02:00 |
|
|
|
734c1953bd
|
polishing
|
2024-04-12 18:52:57 +02:00 |
|
|
|
a735e9a1f2
|
roughly complete section 5 on proofs over ontologies.
|
2024-04-12 18:42:04 +02:00 |
|
Burkhart Wolff
|
7c2a6099f8
|
section on previewer
|
2024-04-11 21:08:36 +02:00 |
|
