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