Doug Coleman 00fb574a8d factor: SYMBOL: foo foo [ bar ] initialize -> INITIALIZED-SYMBOL: foo [ bar ]		2018-08-04 21:53:05 -04:00
..
authors.txt	marvel: Add new vocabulary.	2014-04-25 18:57:21 -07:00
marvel.factor	factor: SYMBOL: foo foo [ bar ] initialize -> INITIALIZED-SYMBOL: foo [ bar ]	2018-08-04 21:53:05 -04:00
tags.txt	basis/,extra/: lots of new tags.txt files	2017-07-05 01:50:39 +02:00