Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

21 lines (20 sloc) 0.776 kb
<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet ekr_test?>
<leo_file>
<leo_header file_format="2" tnodes="0" max_tnode_index="0" clone_windows="0"/>
<globals body_outline_ratio="0.5" body_secondary_ratio="0.5">
<global_window_position top="50" left="50" height="500" width="700"/>
<global_log_window_position top="0" left="0" height="0" width="0"/>
</globals>
<preferences/>
<find_panel_settings/>
<vnodes>
<v t="gcross.20100730133924.1259"><vh>@chapters</vh></v>
<v t="gcross.20100802204346.1322"><vh>@edit approximate-equality.cabal</vh></v>
<v t="gcross.20100730133924.1260"><vh>@shadow Data/Eq/Approximate.hs</vh></v>
<v t="gcross.20100802173247.1335"><vh>@shadow test.hs</vh></v>
</vnodes>
<tnodes>
<t tx="gcross.20100730133924.1259"></t>
</tnodes>
</leo_file>
Jump to Line
Something went wrong with that request. Please try again.