resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
resources [2018/09/05 22:11] – jonathan | resources [2018/10/31 22:35] (current) – jonathan | ||
---|---|---|---|
Line 11: | Line 11: | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
+ | * [[https:// | ||
+ | |||
+ | In your .cshrc you will need the following: | ||
+ | |||
+ | < | ||
+ | source / | ||
+ | setenv PVS_LIBRARY_PATH "/ | ||
+ | </ | ||
+ | |||
+ | The first item is for LaTeX using Texlive: invoke '' | ||
+ | |||
+ | The second for PVS (especially '' | ||
===== Git and Github ===== | ===== Git and Github ===== |
resources.1536185464.txt.gz · Last modified: 2018/09/05 22:11 by jonathan