Mercurial Mercurial > hg > isabelle-cookbook / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ProgTutorial/Intro.thy
changeset 228 fe45fbb111c5
parent 207 d3cd633e8240
child 233 61085dd44e8c
equal deleted inserted replaced
227:a00c7721fc3b 228:fe45fbb111c5 
   159   with TBD.}
 
   159   with TBD.}
 
   160 
   160 
   161   
   161   
   162   \vfill
 
   162   \vfill
 
   163   This document was compiled with:\\
 
   163   This document was compiled with:\\
 
   164   \input{version}
 
   164   \input{version}\\
 
       
   165   \input{pversion}
 
   165 *}
 
   166 *}
 
   166 
   167 
   167 
   168 
   168 
   169 
   169 end
 
   170 end
isabelle-cookbook