1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Mon Mar 22 14:47:06 2021 +0100
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/root.tex	Thu Apr 08 13:09:44 2021 +0200
     1.3 @@ -27,6 +27,9 @@
     1.4  % sane default for proof documents
     1.5  \parindent 0pt\parskip 0.5ex
     1.6  
     1.7 +\nocite{*}  %FIXME satisfy bibtex without actual text + citations
     1.8 +%\input{user-requirements.tex}  %FIXME does not quite work yet
     1.9 +
    1.10  % generated text of all theories
    1.11  \input{Specify_Phase.tex}  %*.tex created by isabelle build
    1.12