Mercurial Mercurial > hg > regexp / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed problem with Latexsugar
authorurbanc
Sat, 11 Feb 2012 08:16:11 +0000
changeset 292 1f16ff7fea94
parent 291 5ef9f6ebe827
child 293 cab43c4a96d2
fixed problem with Latexsugar
prio/Paper/Paper.thy file | annotate | diff | comparison | revisions
prio/paper.pdf file | annotate | diff | comparison | revisions 
--- a/prio/Paper/Paper.thy	Fri Feb 10 21:01:03 2012 +0000
+++ b/prio/Paper/Paper.thy	Sat Feb 11 08:16:11 2012 +0000
@@ -1,6 +1,6 @@
 (*<*)
 theory Paper
-imports CpsG ExtGG (* "~~/src/HOL/Library/LaTeXsugar" *) LaTeXsugar
+imports CpsG ExtGG "~~/src/HOL/Library/LaTeXsugar"
 begin
 ML {*
   open Printer;
Binary file prio/paper.pdf has changed
regexp