--rw-r--r-- M 53 bootes sys 11208 Sep 19 2009 BSPT.lhs --rw-r--r-- M 53 bootes sys 5516 Sep 19 2009 Euclid.lhs --rw-r--r-- M 53 bootes sys 4562 Sep 19 2009 EuclidGMS.lhs --rw-r--r-- M 53 fernan sys 1662 Sep 19 2009 GeomNum.lhs --rw-r--r-- M 53 fernan sys 7465 Sep 19 2009 Init.lhs --rw-r--r-- M 53 bootes sys 3734 Sep 19 2009 Input.lhs --rw-r--r-- M 53 fernan sys 5705 Sep 19 2009 Interface.lhs --rw-r--r-- M 53 bootes sys 3283 Sep 19 2009 Interpret.lhs --rw-r--r-- M 53 fernan sys 214 Sep 19 2009 Libfuns.lhs --rw-r--r-- M 53 fernan sys 2844 Sep 19 2009 MGRlib.lhs --rw-r--r-- M 53 fernan sys 117 Sep 19 2009 Main.lhs --rw-r--r-- M 53 fernan sys 5630 Sep 19 2009 Merge.lhs --rw-r--r-- M 53 bootes sys 4927 Sep 19 2009 Params.lhs --rw-r--r-- M 53 fernan sys 980 Sep 19 2009 Prog.lhs --rw-r--r-- M 53 bootes sys 3560 Sep 19 2009 Rationals.lhs --rw-r--r-- M 53 fernan sys 2874 Sep 19 2009 Render.lhs --rw-r--r-- M 53 bootes sys 2374 Sep 19 2009 Stdlib.lhs --rw-r--r-- M 53 fernan sys 6 Sep 19 2009 bspt.stdin --rw-r--r-- M 53 bootes sys 19986 Sep 19 2009 bspt.stdout Go to parent directory