annotate tests/style.ur @ 1473:d40066b38710

Handle spaces in filenames passed to GCC (caught by Zachary Tatlock)
author Adam Chlipala <adam@chlipala.net>
date Wed, 15 Jun 2011 09:52:06 -0400
parents 12ec14a6be0b
children
rev   line source
adamc@720 1 style q
adamc@720 2 style r
adamc@718 3
adamc@724 4 fun main () : transaction page = return <xml>
adamc@724 5 <head>
adamc@724 6 <link rel="stylesheet" type="text/css" href="http://www.schizomaniac.net/style.css" media="screen"/>
adamc@724 7 </head>
adamc@724 8 <body>
adamc@724 9 Hi. <span class={q}>And hi <span class={r}>again</span>!</span>
adamc@724 10 </body>
adamc@724 11 </xml>