ViewVC logotype

Index of /metaprl/doc

Files shown:5
Directory revision: 3584 (of 13286)
Sticky Revision:

File Rev. Age Author Last log entry
 Parent Directory        
htmlman/  3541  19 years  nogin   Added a "favicon" to default.html install.html (Mozilla-only since IE wants them…
latex/  3584  19 years  nogin   - Added the comment module to the theories.pdf ("make latex"). - Added a hack a…
misc/  3579  19 years  nogin   Added names.
ps/  3410  19 years  nogin   - Merged the Ocaml 3.02 changes - Now http server is compiled in by default, bu…
Makefile  3582  19 years  nogin   Added "make latex" target.
itt_quickref.txt  3346  20 years  nogin   Added subtypeT function: subtypeT <<A>> replaces a conclusion of the form <<t1 =…
resources_spec.txt  3292  20 years  nogin   *** IMPORTANT: before doing "cvs update" see warning below *** This commit impl…
status.tex  2334  23 years  nogin   I am testing the new e-mail notification scripts. Added the URL for OCAML RPMs t…
weblintrc  2835  21 years  nogin   Some formatting fixes


Name Value
svn:ignore .consign *~ *.aux *.log *.dvi .#* *.ps *.ps.gz *.pdf auto

  ViewVC Help
Powered by ViewVC 1.1.26