All downloads are at sourceforge. First read the information below.
Installation is done by simply downloading that single file onto your hard disk. There is no separate installation process; that file is executed directly. Any extension is installed by simply downloading the extension file into the same directory as the browser.
Tools all work well, have been extensively tested, and in many cases outperform commercial alternatives costing hundreds of dollars each. For running instructions, see Tools.
The browser, on the other hand, is a "developer release", meaning that developers can usefully use many parts of the system, but it is incomplete for end users. For running instructions, see Browser.
DVI.jar
and use those fonts.
If you don't have any TeX fonts, DVIf.jar
bundles the BaKoMa version of the Computer Modern fonts, so you'll be able to read many (but not all) DVIs.
You only need one or the other JAR, and whatever the case do not put both DVI JARs in the same directory.
com.tap
and *.Postscript
) that is not open source.
The system is explicitly designed to be deeply extended without changing the source code of the core system. It is like Java itself in that to develop in Java you do not need to inspect the source code. All you need are the API and the browser JAR in your CLASSPATH.
However, the easiest way to learn the system is to examine how other extensions are implemented, and since the base system consists of a small core and many behavior extensions (in fact, all user-level functionality is implemented with behaviors), the is an excellent source of examples.
See Links.