Dave Statezni
|
c19b5968bb
|
Updates for real searches of terms from file headers
|
2018-05-08 03:53:16 -05:00 |
Henry Whitney
|
8cbd9a7615
|
Deleted spurious space at beginning of line
Also deleted spurious line.
|
2018-05-07 13:58:46 -04:00 |
Henry Whitney
|
8c2933d942
|
Added short form so can be found in ULB
|
2018-02-09 17:07:35 +00:00 |
Henry Whitney
|
4e3079f5b9
|
Relinked proper names to proper directory.
|
2017-08-30 13:24:31 -04:00 |
Henry Whitney
|
17a05122b8
|
Plural, past tense, special forms: moved names to new directory
|
2017-08-29 11:53:09 -04:00 |