Index of /~djvelleman/pd

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]ProofDesigner.jar16-Aug-2016 15:30 158K 
[DIR]help/20-Aug-2016 18:34 -  
[TXT]pd.html25-Aug-2016 11:52 3.1K 
[TXT]pd16.html16-Aug-2016 15:30 2.7K 
[TXT]pd18.html16-Aug-2016 15:30 2.7K 
[TXT]pd20.html16-Aug-2016 15:30 5.1K 
[TXT]pdsans.html16-Aug-2016 15:30 698  
[TXT]pdsymbol.html16-Aug-2016 15:30 697  
[TXT]pdx.html16-Aug-2016 15:30 2.7K 
[DIR]sources/16-Aug-2016 15:30 -  
[   ]xProofDesigner.jar16-Aug-2016 15:30 157K 
[TXT]xpd.html16-Aug-2016 15:30 2.5K 

Apache/2.2.15 (CentOS) Server at app.cs.amherst.edu Port 443