Achim D. Brucker adbrucker
1 Followers · 1 Following
Repositories
17
 Projects Packages Public Activity Starred Repositories
adbrucker pushed to main at adbrucker/authorarchive 2025-12-25 15:44:27 +00:00
22ffb59461 Update of version information after release of 1.3.1.
adbrucker released Changes: at adbrucker/authorarchive 2025-12-25 15:43:00 +00:00
adbrucker pushed tag v1.3.1 to adbrucker/authorarchive 2025-12-25 15:42:06 +00:00
adbrucker pushed to main at adbrucker/isabelle-hacks 2025-12-24 17:38:16 +00:00
a73e2e5245 Added note that Hiding_Type_Variables.thy is also included in the AFP.
adbrucker pushed to main at adbrucker/authorarchive 2025-12-24 17:00:42 +00:00
aeeb1504c9 Removed outdated icons directory from archive.
adbrucker pushed to main at adbrucker/authorarchive 2025-12-24 16:59:13 +00:00
10aed63560 Minor improvement of default text for default (unknown) publisher (fixes #30).
adbrucker pushed to main at adbrucker/authorarchive 2025-12-24 16:55:46 +00:00
76dea05a54 Minor improvement of default text for default (unknown) publisher (fixed #30).
adbrucker pushed to main at adbrucker/authorarchive 2025-12-24 16:15:58 +00:00
c90b1d5d30 Improved spacing of self-archiving text and QR code (fixed #33).
adbrucker pushed to main at adbrucker/authorarchive 2025-12-24 15:32:26 +00:00
a66ffec539 Use hologo-package to produce BibTeX logo; fixes wrong kerning in logo.
aec2cce8e2 Updated example to work with latest lni.cls.
Compare 2 commits »
adbrucker pushed to main at adbrucker/authorarchive 2025-12-24 14:41:38 +00:00
f897cc6082 Merge branch 'koppor-more-user-friendly-linebreaks'
fec3d77879 Merge branch 'more-user-friendly-linebreaks' of https://github.com/koppor/authorarchive into koppor-more-user-friendly-linebreaks
1b5122d142 authorsetup needs k/v pairs
c8223ecbdc More user-friendly line breaks
Compare 4 commits »
adbrucker pushed to main at Isabelle_DOF/Isabelle_DOF 2025-12-21 07:01:35 +00:00
3fac3ebde0 Upgrade to Isabelle 2025-1.
adbrucker pushed to master at BrowserSecurity/DVGM 2025-10-25 17:51:03 +00:00
6b811c8788 Update.
adbrucker pushed to main at BiologicalAI/YAWNING-TITAN_Neuron-Edition 2025-08-15 20:24:46 +00:00
0ba063aa16 Bug fix: corrected instructions for running pip install.
adbrucker pushed to main at adbrucker/xmonad-recording-layout 2025-07-10 19:55:50 +00:00
5d9e620a4c Added documentation.
adbrucker pushed to main at adbrucker/xmonad-recording-layout 2025-07-10 19:37:52 +00:00
5d703ac967 Initial commit.
adbrucker created repository adbrucker/xmonad-recording-layout 2025-07-10 19:36:37 +00:00
adbrucker pushed to main at PrivacyPreservingLCA/ConfidentialLCA 2025-06-29 08:49:02 +00:00
ebe516a471 Minor presentation improvements.
adbrucker pushed to main at BiologicalAI/YAWNING-TITAN_Neuron-Edition 2025-06-18 13:50:01 +00:00
dcafa68a90 Increased event frequency of the fake server.
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-05-20 05:45:34 +00:00
d9457d4fde Fixed Isabelle version in heading.
adbrucker pushed to Isabelle_DOF-Zenodo-2025 at Isabelle_DOF/Isabelle_DOF 2025-04-24 07:20:05 +00:00
98ecc2ca28 Initial commit.
540a9443ab Added readme to top-level.
1074b64347 Spell checking.
Compare 3 commits »