resources
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
resources [2018/09/02 20:35] – jonathan | resources [2018/10/31 22:34] – jonathan | ||
---|---|---|---|
Line 10: | Line 10: | ||
* [[http:// | * [[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 privet and the NASA libraries) should be there already via: ''/ | ||
===== Git and Github ===== | ===== Git and Github ===== |
resources.txt · Last modified: 2018/10/31 22:35 by jonathan