Commit Graph

9 Commits

Author SHA1 Message Date
Michael Guida
86de5a57d9 spelling error in logic_and_programming readme 2016-02-09 11:35:32 -07:00
Zachary Jones
d2acf0fc3b Update to all READMEs for hosted content
reorganization of so-called historical papers
2015-10-07 15:12:22 -04:00
Pamela Selle
bfb769a20f Update link to a portal with a download and other mirrors 2014-10-07 13:07:02 -04:00
Zeeshan Lakhani
9b8d41749a add boston #2 2014-09-30 13:49:42 -04:00
Chris
884a618bef Create event-calculus.txt 2014-06-06 11:21:31 -04:00
Brian Bowman
a9c80328ea readme titles and readme URL approach 2014-03-13 22:39:39 -04:00
Zeeshan Lakhani
19e512aca7 first run-through on audit before distro systems 2014-03-08 03:04:09 -05:00
Brian Bowman
e787eac2ad logic/clojure/gamedev paper 2013-06-12 09:58:42 -04:00
Zeeshan Lakhani
f0efbe99c3 more papers and cleanup 2013-05-23 10:25:23 -04:00