cc/cirrus_home: revision graph

graph

less more | rev 62: (0) -30 -10 -6 +6 +10 +30 +100 tip

several efficiency (hofentlich) tweaks
2020-04-24, by Henry S. Thompson
x
2020-04-23, by Henry S. Thompson
switch for use on login server, invoke by hand with 0/1 as only cmd line arg
2020-04-23, by Henry S. Thompson
java stuff
2020-04-22, by Henry S. Thompson
try nutch fetch for big pdfs
2020-04-22, by Henry S. Thompson
final most general versin
2020-04-15, by Henry S. Thompson

less more | rev 62: (0) -30 -10 -6 +6 +10 +30 +100 tip