2015-12-17 | John Ousterhout | Minor documentation updates | blob | commitdiff | raw |
2008-07-03 | Ben Pfaff | No longer recommend SourceForge. | blob | commitdiff | raw | diff to current |
2008-01-09 | Godmar Back | - moved all instructions that related to local CVS... | blob | commitdiff | raw | diff to current |
2007-11-17 | Godmar Back | - add localsettings.texi which contains Stanford-local... | blob | commitdiff | raw | diff to current |