Skip to content

Pull requests: Interlisp/Interlisp.github.io

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Fixed typos, grammar, and a few facts in _index.md
#280 by hjellinek was merged Apr 23, 2025Loading…
Include names of "Editors" when no "Authors" provided in Zotero data enhancement New feature or request
#275 by MattHeffron was merged Apr 6, 2025Loading…
@MattHeffron
Fix typos in the Glossary page
#274 by pamoroso was merged Apr 2, 2025Loading…
Css updates
#273 by stumbo was merged Mar 26, 2025Loading…
Update icon.svg
#272 by stumbo was merged Mar 23, 2025Loading…
Change Display Font weight to bold
#271 by stumbo was merged Mar 1, 2025Loading…
Link to Medley praise by Vindarel and Joe Pasqua
#270 by pamoroso was merged Feb 24, 2025Loading…
Update Hugo to version 144.2
#268 by stumbo was merged Feb 20, 2025Loading…
Feature/hdj annual report 2024
#267 by stumbo was merged Feb 15, 2025Loading…
Issue #2024: Annual report is hard to find
#266 by hjellinek was merged Feb 15, 2025Loading…
Update WASM Medley description
#265 by pamoroso was merged Feb 22, 2025Loading…
Explain what Venue was
#263 by pamoroso was closed Feb 1, 2025Loading…
Link to in memoriam of Danny Bobrow
#262 by pamoroso was closed Jan 16, 2025Loading…
First conversion annual report to markdown
#261 by masinter was merged Jan 15, 2025Loading…
Update _index.md
#260 by hjellinek was merged Jan 9, 2025Loading…
Cleanup - remove unused shortcodes
#259 by stumbo was merged Dec 29, 2024Loading…
Add support for RSS Feed
#258 by stumbo was merged Dec 26, 2024Loading…
Add Title to hugo.yaml and modify navbar to use it
#257 by stumbo was closed Dec 26, 2024Loading…
Add news entry about Larry Masinter at aNONradio
#256 by pamoroso was merged Dec 20, 2024Loading…
Removed Twitter, added Mastodon and Bluesky. documentation Improvements or additions to documentation enhancement New feature or request
#255 by hjellinek was merged Dec 7, 2024Loading…
Add Mastedon to page footer.
#254 by stumbo was closed Nov 30, 2024 Draft
Corrected typo.
#253 by hjellinek was merged Nov 27, 2024Loading…
ProTip! Mix and match filters to narrow down what you’re looking for.
close