Summary: Copyright Ó 2010 Carnegie Mellon University. All rights reserved.
This manual is based upon work supported by NSF grants MCS81­02870, DCR­8402532, CCR­8702699,
CCR­9002546, CCR­9201893, CCR­9502878, CCR­9624683, CCR­9732312, CCR­0097179, and a grant from the
Center for Design of Educational Computing, Carnegie Mellon University. Any opinions, findings, and conclusions
or recommendations are those of the author(s) and do not necessarily reflect the views of the National Science
Foundation.
TPS3 Facilities Guide
for Users
2010 January 26
Peter Andrews
Sunil Issar
Dan Nesmith
Frank Pfenning
Hongwei Xi
Matthew Bishop
Chad E. Brown

1
1. Introduction
This document is a short version of the TPS3 Facilities Guide, and lists TPS commands, flags, etc., excluding

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

Collections: Mathematics