Differences

This shows you the differences between two versions of the page.

--- resources [2018/10/12 19:36] – jonathan
+++ resources [2018/10/31 22:35] (current) – jonathan
@@ Line 11: / Line 11: @@
   * [[http://pvs.eecs.yorku.ca|PVS Resources]]
   * [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/virtualbox/start|SEL-VM]]. This is the SEL VM that has TLA, PVS, Rodin, Eiffel, etc. It is somewhat challenging to install PVS on your Laptop, with all the bug fixes and NASA software. We therefore advise that you use the SEL-VM.
-  * [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:latex:start|Latex]] (login with your EECS account)
+  * [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:latex:start|Latex]] (login with your EECS account).
+In your .cshrc you will need the following:
+<code>
+source /cs/local/packages/texlive/cshrc.texlive
+setenv PVS_LIBRARY_PATH "/cse/local/pkg/pvs/nasalib"
+</code>
+The first item is for LaTeX using Texlive: invoke ''texlive-setup'' from the command line and it will be appended to your ''.cshrc'' file.
+The second for PVS (especially ''proveit'' and the NASA libraries) should be there already via: ''/cs/local/share/cshrc.common''
 ===== Git and Github =====