History of
by-topic
/
Proof Theory
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Rate two books. Chris Pressey 10 days ago
- Add a very short paper, and a book, about the Hyperproof system. Chris Pressey 17 days ago
- Put the Wikipedia link, when it exists, in the "see-also bar". Chris Pressey a month ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey a month ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey a month ago
- Fix commentary links. Chris Pressey 3 months ago
- Extract ratings to own files. Chris Pressey 3 months ago
- Rename commentary files. Chris Pressey 3 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 6 months ago
- Show ratings on books and papers too. Chris Pressey 6 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 6 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 6 months ago
- Format interlinks more usefully. Chris Pressey 9 months ago
- Add commentary for several papers. Chris Pressey 10 months ago
- Checkpoint removing `src` directories. Chris Pressey 10 months ago
- Fix link. Chris Pressey 10 months ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 10 months ago
- Link see-also links to anchor Chris Pressey 10 months ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 10 months ago