Software I've installed for local use

Updated November 27, 1997
November 27, 1997: Added file: link to some manuals

Software I've installed on CS Lab machines:

Then there are the manuals for some of the above. Sorry, but they're available only to those on the CS Lab machines.

The rest of this page is mostly hopelessly out of date. Sorry.


This page describes some software tools I've installed and how anybody in DCS or EECG can also use them. The DCS and EECG versions may be out of sync. Sorry.

Contents


CS paths, etc.

My public area on the CS machines is structured as follows:

EECG paths, etc.

On the EECG system, you can access my public area at ~neto/pub. There you can find documents, libraries, and programs that I think are useful to the local community. Unless otherwise specified, all this software is freely redistributable.

The programs are contained in ~neto/pub/bin. SunOS SPARC binaries are in ~neto/pub/bin/sun4 and AIX RS/6000 binaries are in ~neto/pub/bin/rs6k. Manual pages are in ~neto/pub/man. Other files are in the appropriate places under ~neto/pub: feel free to poke around.


CWEB

I have installed Knuth and Levy's CWEB literate programming system. One edits a single document containing both TeX and C that gets processed in two ways. When the document is tangled, a C compilation unit and its associated header files are generated, suitable for compilation. When it is woven, a TeX file is generated, which produces a human-oriented, cross-indexed, successive refinement presentation of the compilation unit: a glorified listing.

I do all my research programming in CWEB, and I highly recommend it. Knuth makes a strong case for literate programming his book Literate Programming. In an online interview, Knuth claims a binary order of magnitude increase in his productivity over using just plain C. There is also a CMU web page about literate programming but I haven't looked at it. You should also check out the FAQ for the comp.programming.literate newsgroup.

For examples of CWEB in action, see Knuth's book The Stanford GraphBase and corresponding online software. There are other online literate programming samples.

Many people prefer Latex to plain TeX. Joachim Schrod has written a cweb package for Latex2e. The idea is that the documentation markup is done in Latex's structured environment instead of at the decidedly lower level provided by plain TeX. This Latex2e package is already installed on the CS machines (actually, a slightly newer version is available). I have not used it yet, but may switch to it soon. It requires CWEB version 3 or later.

The CWEB software is freely available, and works equally well with both C, C++, and Java, but I've only tested it with C. I have installed CWEB version 3.4g.

To use CWEB on the CS machines, you need to:

If you have problems with this setup, please tell me.

To use CWEB on the EECG machines, you need to:

If you have problems with this setup, please tell me.

WEB

For those of you still using WEB (that would be nobody that I know), here's what you need to know.

Metapost

MetaPost is a program written by John Hobby. It is a graphics language based on Knuth's Metafont, but with PostScript output and facilities for including typeset text.

I have not installed it on the CS machines. It shouldn't be that hard, but I'll wait until I have a need for it.

On the EECG machines, I have only installed the TeX-related support for MetaPost, and not the troff-related support. In fact, I couldn't find an EECG directory that has virtual fonts in them, so the search path for virtual fonts are not properly set up. (Doh! I just remembered that virtual font support was added to TeX in version 3.0, and we've only got 2.991 installed. So the point is mostly moot.)

The aforementioned facilities for including typeset text do not work with PostScript fonts because that requires virtual font support.

So you must stick with TeX's fonts, which are installed. But then you must use mp's output with a driving dvi file, and then use dvips to create a PostScript file. Phew! This will be the normal case anyway.

April 21, 1997: I later realized I was looking in the wrong places on EECG: TeX 3 is installed, so these limitations could be taken away. But I won't be doing it, as I do little work on EECG nowadays.

Java SDK

I've moved this information to my Java page.
Back to David Neto's home page