changeset 1530:09c56e03beaf

Manual: emphasize how great '-tc' is
author Adam Chlipala <>
date Sun, 07 Aug 2011 13:47:15 -0400
parents a8a538800278
children 7efcf8f4a44a
files doc/manual.tex
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/doc/manual.tex	Sat Aug 06 13:07:50 2011 -0400
+++ b/doc/manual.tex	Sun Aug 07 13:47:15 2011 -0400
@@ -197,6 +197,7 @@
 urweb -tc P
+It is often worthwhile to run \cd{urweb} in this mode, because later phases of compilation can take significantly longer than type-checking alone, and the type checker catches many errors that would traditionally be found through debugging a running application.
 To output information relevant to CSS stylesheets (and not finish regular compilation), run