Commit Graph

6 Commits (f6030fb3a4976139893d0ff55c04bd2e42449c3b)

Author SHA1 Message Date
Slava Pestov 690621ffb6 Change PREDICATE: syntax 2008-03-26 18:23:19 -05:00
Slava Pestov ef53dbd1b9 Fix load-everything 2008-02-26 19:18:21 -06:00
Slava Pestov 6f0e64bb4c Add some tags 2008-02-09 00:16:30 -06:00
Doug Coleman 097dad070a minor tweaks to make these modules load with load-everything 2008-01-14 11:42:21 -10:00
Slava Pestov 1d8bd74d0f new unfold word 2007-10-16 04:15:16 -04:00
Slava Pestov a96457cecc Initial import 2007-09-20 18:09:08 -04:00