Tree @master (Download .tar.gz)
History of
by-topic
/
Formal Specification
/
commentary
@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
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 3 months ago
- Extract ratings to own files. Chris Pressey 5 months ago
- Rename commentary files. Chris Pressey 5 months ago
- Fix availability of one book and rate it and (kinda) gloss it. Chris Pressey 9 months ago
- Add 3 papers and 2 web pages, Requirements and Model Checking. Chris Pressey 9 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
- Add a Formal Semantics paper. Chris Pressey 1 year, 8 days ago
- Rename Specification category to Formal Specification. Chris Pressey 1 year, 8 days ago