Burkhart Wolff
|
c39e06892c
|
Final Disccsion with idir Nico
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-29 11:36:13 +02:00 |
Nicolas Méric
|
2b51661181
|
Add MPIA description article
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-29 11:05:12 +02:00 |
Burkhart Wolff
|
f938894ef7
|
title
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-29 09:01:12 +02:00 |
Burkhart Wolff
|
35c03cd667
|
fleshed out the abstract
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-29 08:54:50 +02:00 |
Idir AIT SADOUNE
|
5aed97e171
|
Proposal of a first version of the article plan
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-28 09:59:15 +01:00 |
Idir AIT SADOUNE
|
14263156b6
|
creating paper.thy file
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-28 09:16:32 +01:00 |
Idir AIT SADOUNE
|
0e66068c7a
|
creating CabineTemperature theory
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-21 09:38:51 +01:00 |
Idir AIT SADOUNE
|
d049690120
|
first commit
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-21 09:10:46 +01: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
|
f6d97db0d3
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:37:04 +01:00 |
Achim D. Brucker
|
4a6fa93644
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:36:35 +01:00 |
Achim D. Brucker
|
6ca0b0fd21
|
Fixed markdown.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:36:09 +01:00 |
Achim D. Brucker
|
65ae177fbc
|
Switched back to unreleased.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-08 12:35:15 +01:00 |
Achim D. Brucker
|
b93ff8f65c
|
Bumped version to 1.3.0.
|
2022-07-08 12:16:00 +01:00 |
Achim D. Brucker
|
adf87dfde4
|
Bumped version to 1.3.0.
|
2022-07-08 12:05:39 +01:00 |
Achim D. Brucker
|
df5d037942
|
Bumped version to 1.3.0.
|
2022-07-08 12:04:20 +01:00 |
Achim D. Brucker
|
f2f48f2340
|
Updated Changelog for the release of v1.3.0.
|
2022-07-08 11:34:18 +01:00 |
Achim D. Brucker
|
6839f63129
|
Initial commit.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-07 22:43:25 +01:00 |
Achim D. Brucker
|
3febf83b3c
|
Check that Isabelle/DOF is registered as a component.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-07-02 22:38:39 +01:00 |
Achim D. Brucker
|
fb8dbfac49
|
Removed component installations.
|
2022-07-02 22:31:44 +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 |
Burkhart Wolff
|
c8a3c58f7f
|
end of discussion with Achim
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-30 12:58:49 +02:00 |
Achim D. Brucker
|
1939ffeea4
|
Added missing line break declaration.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 23:33:29 +01:00 |
Achim D. Brucker
|
74093dfaae
|
Improved quick and dirty mode for CI.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 23:20:01 +01:00 |
Achim D. Brucker
|
d2b6cb81aa
|
LIPIcs needs to stay unsupported, right now.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 21:57:07 +01:00 |
Achim D. Brucker
|
b24ede4400
|
LIPIcs needs to stay unsupported, right now.
|
2022-06-29 21:46:39 +01:00 |
Achim D. Brucker
|
205aa5a6b1
|
Moved core ACM styles into DOF-core.sty.
|
2022-06-29 21:45:09 +01:00 |
Achim D. Brucker
|
c8f3bfc65d
|
Removed unused imports.
|
2022-06-29 20:17:40 +01:00 |
Achim D. Brucker
|
44f9317b35
|
Integrated dof-common.tex into DOF-core.sty.
|
2022-06-29 20:12:32 +01:00 |
Achim D. Brucker
|
6c2a0d6876
|
Renaming to ensure compliance with naming restrictions.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 19:08:56 +01:00 |
Achim D. Brucker
|
909dda1ea2
|
Documented component registration.
|
2022-06-29 18:50:44 +01:00 |
Achim D. Brucker
|
367d8f28ad
|
Improved installation instructions.
|
2022-06-29 16:25:32 +01:00 |
Achim D. Brucker
|
d3f41dca9e
|
In quick and dirty mode, do not require a clean build.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 15:59:02 +01:00 |
Achim D. Brucker
|
ae3d35e363
|
Fixed quick and dirty mode.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 15:34:27 +01:00 |
Achim D. Brucker
|
41a6c22822
|
Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 14:51:04 +01:00 |
Achim D. Brucker
|
4ac7c84403
|
Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 13:57:07 +01:00 |
Achim D. Brucker
|
38f6516ad9
|
Optimised quick&dirty setup.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-29 13:37:35 +01:00 |
Achim D. Brucker
|
03b721f014
|
Added renaming of mkroot_DOF.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-27 06:40:18 +01:00 |
Achim D. Brucker
|
c5752ba4a2
|
Grammar/spell-checking.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-27 06:35:06 +01:00 |
Achim D. Brucker
|
5721398340
|
Documented document_build=dof option.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-26 19:14:08 +01:00 |
Achim D. Brucker
|
6c0d325673
|
Use full qualified name for templates.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-26 19:06:49 +01:00 |
Achim D. Brucker
|
b40069bedd
|
Use full qualified name for templates.
|
2022-06-26 19:06:45 +01:00 |
Achim D. Brucker
|
70b2647e7c
|
Using full-qualified names for ontologies in ROOT files.
|
2022-06-26 18:45:47 +01:00 |
Achim D. Brucker
|
c1efddf252
|
Changed order of lualatex and pdflatex Ci build [CI SKIP].
|
2022-06-26 17:23:53 +01:00 |
Achim D. Brucker
|
9ded308371
|
Use full qualified name for scholarly_paper.
ci/woodpecker/push/build Pipeline was successful
Details
|
2022-06-26 17:12:09 +01:00 |
Achim D. Brucker
|
f63d922096
|
Fixed woodpecker config.
ci/woodpecker/push/build Pipeline failed
Details
|
2022-06-26 16:56:46 +01:00 |
Achim D. Brucker
|
11b309da02
|
Only build distributin archive for lualatex build.
|
2022-06-26 16:46:56 +01:00 |
Achim D. Brucker
|
1444f8f48b
|
Fixed outdated use of mkroot_DOF and added (not yet tested) setup to create build archive during CI build.
|
2022-06-26 16:35:23 +01:00 |
Achim D. Brucker
|
e6ca682114
|
Merge branch 'main' of git.logicalhacking.com:Isabelle_DOF/Isabelle_DOF
ci/woodpecker/push/build Pipeline failed
Details
|
2022-06-26 16:01:57 +01:00 |
Achim D. Brucker
|
15fb6fdc2d
|
Added quick-and-dirty mode.
|
2022-06-26 16:00:06 +01:00 |