Differences

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

--- resources [2018/09/02 20:34] – jonathan
+++ resources [2018/10/31 22:35] (current) – jonathan
@@ Line 10: / Line 10: @@
   * [[http://tla.eecs.yorku.ca| TLA+ Resources]]
   * [[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).
+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 =====
@@ Line 21: / Line 34: @@
   * Rule #3: Use Pull Requests to merge code to Master
-===== Github Educational Accounts =====
+==== Github Educational Accounts ====
 Educational Accounts have unlimited private repositories (required for academic integrity)