10 Commits (main)

Author	SHA1	Message	Date
bolshoytoster	f28b9c9f6c	Fixed broken links (#641) ... I went through #638 and fixed the broken links in there. There was one I couldn't find, and it wasn't in the wayback machine so I deleted it.	2 years ago
Michael Guida	86de5a57d9	spelling error in logic_and_programming readme	8 years ago
Zachary Jones	d2acf0fc3b	Update to all READMEs for hosted content ... reorganization of so-called historical papers	9 years ago
Pamela Selle	bfb769a20f	Update link to a portal with a download and other mirrors	10 years ago
Zeeshan Lakhani	9b8d41749a	add boston #2	10 years ago
Chris	884a618bef	Create event-calculus.txt	10 years ago
Brian Bowman	a9c80328ea	readme titles and readme URL approach	10 years ago
Zeeshan Lakhani	19e512aca7	first run-through on audit before distro systems	10 years ago
Brian Bowman	e787eac2ad	logic/clojure/gamedev paper	11 years ago
Zeeshan Lakhani	f0efbe99c3	more papers and cleanup	11 years ago