Code

Cleanup of Page Indexing Issues#247

Code

Open

stumbo wants to merge 2 commits intomainInterlisp/Interlisp.github.io:mainfrom

cleanupExcludedByNoIndexTagsInterlisp/Interlisp.github.io:cleanupExcludedByNoIndexTagsCopy head branch name to clipboard

Commits

Commits on Oct 19, 2024

• Cleanup of Page Indexing Issues

  Show description for 5bcf092
  stumbo

  committed
  5bcf092

  Copy full SHA for 5bcf092

Commits on Oct 20, 2024

• Reinstate /bibliography alias, referenced in published paper

  stumbo

  committed
  02eee9c

  Copy full SHA for 02eee9c