History of
by-topic
/
Formal Specification
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Add a topic specifically for Monads, and add one web resource. Chris Pressey 9 days ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 24 days ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 29 days ago
- Fix commentary links. Chris Pressey 2 months ago
- Extract ratings to own files. Chris Pressey 2 months ago
- Rename commentary files. Chris Pressey 2 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 5 months ago
- Add 2 Games and a PL repository, and sort secondary entries. Chris Pressey 5 months ago
- Show ratings on books and papers too. Chris Pressey 5 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 5 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 5 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 5 months ago
- Fix availability of one book and rate it and (kinda) gloss it. Chris Pressey 7 months ago
- Add 3 papers and 2 web pages, Requirements and Model Checking. Chris Pressey 7 months ago
- Add four web pages, on various topics. Chris Pressey 7 months ago
- Add some notes on a collection of conference proceedings. Chris Pressey 8 months ago
- Format interlinks more usefully. Chris Pressey 8 months ago
- Add a Formal Semantics paper. Chris Pressey 9 months ago
- Rename Specification category to Formal Specification. Chris Pressey 9 months ago