> val it = () : unit
val commit = fn : unit -> bool

### Browser info: cannot access session index of "/home/tim/isabelle/browser_info/HOL"
"$ISATOOL" document -c -o 'pdf' -n 'document' -t '' '/home/tim/isabelle/browser_info/HOL/MySession/document' 2>&1
This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
 %&-line parsing enabled.
entering extended mode
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, loaded.

(./root.tex (/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size11.clo)) (./isabelle.sty

! LaTeX Error: File `comment.sty' not found.

Type X to quit or <RETURN> to proceed,
or enter new name. (Default extension: sty)

Enter file name: 
! Emergency stop.
<read *> 
         
l.198 \let
          \fmtname\isafmtname^^M
!  ==> Fatal error occurred, no output PDF file produced!
Transcript written on root.log.
Document preparation failure in directory '/home/tim/isabelle/browser_info/HOL/MySession/document'
*** No document: "/home/tim/isabelle/browser_info/HOL/MySession/document.pdf"