version 1.1, 2003/10/01 19:02:04
|
version 1.3, 2003/11/20 13:54:10
|
|
|
useNormalComments false | useNormalComments false |
| |
# Parse HTML syntax, not only TeX | # Parse HTML syntax, not only TeX |
# HTMLSyntax true |
HTMLSyntax true |
| |
# Read a list of input files from this file | # Read a list of input files from this file |
# fileList | # fileList |
|
|
doTeX false | doTeX false |
| |
# Generate upwards arrows in class graphs | # Generate upwards arrows in class graphs |
upwardsArrows false |
upwardsArrows true |
| |
# Turn verbose mode on | # Turn verbose mode on |
verboseOperation true | verboseOperation true |