# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1450639238 18000
# Node ID 9083b44bad0ae1c446b6892d8e27229c390ae9db
# Parent  6fb9232ade99d771d28b1fed660991ce5587c04a
Short manual note on -sqlcache

diff -r 6fb9232ade99 -r 9083b44bad0a doc/manual.tex
--- a/doc/manual.tex	Sun Dec 20 14:18:52 2015 -0500
+++ b/doc/manual.tex	Sun Dec 20 14:20:38 2015 -0500
@@ -356,6 +356,8 @@
 
 There is an additional convenience method for invoking \texttt{urweb}.  If the main argument is \texttt{FOO}, and \texttt{FOO.ur} exists but \texttt{FOO.urp} doesn't, then the invocation is interpreted as if called on a \texttt{.urp} file containing \texttt{FOO} as its only main entry, with an additional \texttt{rewrite all FOO/*} directive.
 
+There are also two experimental compiler extensions enabled with flags \texttt{-iflow} and \texttt{-sqlcache}.  They are intentionally not documented further here, to indicate just how very experimental they are!
+
 \subsection{Tutorial Formatting}
 
 The Ur/Web compiler also supports rendering of nice HTML tutorials from Ur source files, when invoked like \cd{urweb -tutorial DIR}.  The directory \cd{DIR} is examined for files whose names end in \cd{.ur}.  Every such file is translated into a \cd{.html} version.