[isabelle-dev] Generated files in Codegen

2012-08-20 Thread Tobias Nipkow
I just rebuilt HOL. As a result I modified 3 files M doc-src/Codegen/Thy/document/Introduction.tex M doc-src/Codegen/Thy/document/Refinement.tex M doc-src/Codegen/Thy/examples/example.ML I suspect these are generated files and that the changes are the result of this changeset: 441a4eed7823 But

Re: [isabelle-dev] Generated files in Codegen

2012-08-20 Thread Makarius
On Mon, 20 Aug 2012, Tobias Nipkow wrote: I just rebuilt HOL. As a result I modified 3 files M doc-src/Codegen/Thy/document/Introduction.tex M doc-src/Codegen/Thy/document/Refinement.tex M doc-src/Codegen/Thy/examples/example.ML I suspect these are generated files and that the changes are the