Commit History
@master
git clone https://git.catseye.tc/The-Glosscubator/
-
Finish regularizing the Book entries wrt the Book schema.
Chris Pressey
1 year, 3 months ago
-
Checkpoint regularizing the books to the schema.
Chris Pressey
1 year, 3 months ago
-
Add schema for Book, begin regularlizing the Books in this repo.
Chris Pressey
1 year, 3 months ago
-
Convenience links.
Chris Pressey
1 year, 4 months ago
-
Bring commentary up to parity with Some Papers I Really Liked!
Chris Pressey
1 year, 4 months ago
-
Check that rating doesn't appear in main reference of work now.
Chris Pressey
1 year, 4 months ago
-
Extract the remaining ratings.
Chris Pressey
1 year, 4 months ago
-
Extract ratings from 5 more categories.
Chris Pressey
1 year, 4 months ago
-
Extract ratings from Equational Logic and Game Development.
Chris Pressey
1 year, 4 months ago
-
Extract ratings from 3 more categories.
Chris Pressey
1 year, 4 months ago
-
Extract ratings in 5 more categories.
Chris Pressey
1 year, 4 months ago
-
Extract ratings of all I's, most G's.
Chris Pressey
1 year, 4 months ago
-
Extract ratings for Model Checking, and all L's.
Chris Pressey
1 year, 4 months ago
-
Extract ratings for a few more categories.
Chris Pressey
1 year, 4 months ago
-
Extract ratings for Modal Logic, Order Theory.
Chris Pressey
1 year, 4 months ago
-
Extract ratings for PLDI.
Chris Pressey
1 year, 4 months ago
-
Extract all ratings for Coq.
Chris Pressey
1 year, 4 months ago
-
Extract ratings for B's.
Chris Pressey
1 year, 4 months ago
-
Extract ratings for the A's.
Chris Pressey
1 year, 4 months ago
-
Extract ratings in a few more categories.
Chris Pressey
1 year, 4 months ago
-
Extract more ratings. Remove a duplicate.
Chris Pressey
1 year, 4 months ago
-
Extract yet more ratings.
Chris Pressey
1 year, 4 months ago
-
Extract many more ratings.
Chris Pressey
1 year, 4 months ago
-
More automation, more extraction of ratings.
Chris Pressey
1 year, 4 months ago
-
Extract more ratings
Chris Pressey
1 year, 4 months ago
-
Extract ratings from Programming Languages and Logic.
Chris Pressey
1 year, 4 months ago
-
Some automation of the rating extraction.
Chris Pressey
1 year, 4 months ago
-
Move commentary files to correct subplaces.
Chris Pressey
1 year, 4 months ago
-
Split commentary file into smaller commentary files.
Chris Pressey
1 year, 4 months ago
-
Delete the Rewriting Logic topic, merge into Term Rewriting.
Chris Pressey
1 year, 4 months ago