EECS4312

User Tools

Site Tools

You are here: EECS4312 Fall 2018: Software Engineering Requirements » Resources
Trace:
resources

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
resources [2018/10/31 22:34] – jonathanresources [2018/10/31 22:35] (current) – jonathan
Line 22: Line 22:
 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 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 privet and the NASA libraries) should be there already via: ''/cs/local/share/cshrc.common''+The second for PVS (especially ''proveit'' and the NASA libraries) should be there already via: ''/cs/local/share/cshrc.common''
  
 ===== Git and Github ===== ===== Git and Github =====
resources.txt · Last modified: 2018/10/31 22:35 by jonathan