sbp.git
17 years agocheckpoint
adam [Wed, 5 Jul 2006 04:00:24 +0000 (00:00 -0400)]
checkpoint

darcs-hash:20060705040024-5007d-b154593b9d848adadc403c3979c2d8981db69f2d.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:57:30 +0000 (22:57 -0400)]
checkpoint

darcs-hash:20060705025730-5007d-90c1f21c28c24ee91fd7496828d2e3127dec2bd9.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:54:50 +0000 (22:54 -0400)]
checkpoint

darcs-hash:20060705025450-5007d-1d5b7ceafb385004cf8abafbb9fcff4143e0f2da.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:48:59 +0000 (22:48 -0400)]
checkpoint

darcs-hash:20060705024859-5007d-2cfd69a4bb9894bf5f2beae8ef8e07843987a474.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:47:59 +0000 (22:47 -0400)]
checkpoint

darcs-hash:20060705024759-5007d-88bcb68cedac146efaa0594263c327c00b529b9d.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:45:34 +0000 (22:45 -0400)]
checkpoint

darcs-hash:20060705024534-5007d-cc0a93c797a5bbf8230411b4b39f972ea9008ab2.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:44:42 +0000 (22:44 -0400)]
checkpoint

darcs-hash:20060705024442-5007d-93f994a2c1014398637ae288fd9ca1eba2a10717.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:44:00 +0000 (22:44 -0400)]
checkpoint

darcs-hash:20060705024400-5007d-5e283d25449c01dc75e7846dabadd203670aabef.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:20:22 +0000 (22:20 -0400)]
checkpoint

darcs-hash:20060705022022-5007d-e5a7b94b75c33bb6b6599839688814bfd504054e.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:17:48 +0000 (22:17 -0400)]
checkpoint

darcs-hash:20060705021748-5007d-1c5306807bb5c2d6c0296867a3b399b4d4bb8066.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:13:35 +0000 (22:13 -0400)]
checkpoint

darcs-hash:20060705021335-5007d-55b9a884bb8a4dca62a4e17ae7496031cba8f78c.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:09:04 +0000 (22:09 -0400)]
checkpoint

darcs-hash:20060705020904-5007d-384a834d7b2a5aaa78bdd7844b98ede80e6fcf8f.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 02:08:07 +0000 (22:08 -0400)]
checkpoint

darcs-hash:20060705020807-5007d-776dcee356630e7af0733272a227989f2af3a3f1.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 01:49:12 +0000 (21:49 -0400)]
checkpoint

darcs-hash:20060705014912-5007d-c0abbf76e5fb71735dbf18bcbf804a42598780ce.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 01:33:21 +0000 (21:33 -0400)]
checkpoint

darcs-hash:20060705013321-5007d-58578e9b29a643d36f1f5eb30b142c3c7f2028c7.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 01:31:23 +0000 (21:31 -0400)]
checkpoint

darcs-hash:20060705013123-5007d-03a8248978cbcdee0b8f0a61329cba6719741b3e.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 01:26:32 +0000 (21:26 -0400)]
checkpoint

darcs-hash:20060705012632-5007d-625f6175f02693da99546e02409df0e0f1eaedbe.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 01:23:51 +0000 (21:23 -0400)]
checkpoint

darcs-hash:20060705012351-5007d-3b653a552279c3047d79727815e921ad11f304cd.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 00:26:49 +0000 (20:26 -0400)]
checkpoint

darcs-hash:20060705002649-5007d-dedd077450906dd2a768f21fd7c63235444e4691.gz

17 years agocheckpoint
adam [Wed, 5 Jul 2006 00:21:46 +0000 (20:21 -0400)]
checkpoint

darcs-hash:20060705002146-5007d-41334f56d2a0d9e4486a2a7c024c635614039776.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 23:08:32 +0000 (19:08 -0400)]
checkpoint

darcs-hash:20060702230832-5007d-06c5b64a9c1a5ecf1abf090755c4f76009d0f4c1.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 22:05:18 +0000 (18:05 -0400)]
checkpoint

darcs-hash:20060702220518-5007d-1bb0ad929880cc416997b0335b905f4b8074e274.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 20:26:18 +0000 (16:26 -0400)]
checkpoint

darcs-hash:20060702202618-5007d-2c45a42b7ef390661bb8671af178c60fe944907c.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 19:41:52 +0000 (15:41 -0400)]
checkpoint

darcs-hash:20060702194152-5007d-cbfa195ac1bf0afce5235e737b0545caec1d7509.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 19:40:55 +0000 (15:40 -0400)]
checkpoint

darcs-hash:20060702194055-5007d-963f40ff133cf30dd56a7f82d36d834136461578.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 18:49:11 +0000 (14:49 -0400)]
checkpoint

darcs-hash:20060702184911-5007d-d4f13f68c0c56cc6833b22b6c44b01e66740ea4e.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 18:04:51 +0000 (14:04 -0400)]
checkpoint

darcs-hash:20060702180451-5007d-fccdee589fbd97cb09acc0bf19cbce2902218e4e.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 17:52:29 +0000 (13:52 -0400)]
checkpoint

darcs-hash:20060702175229-5007d-d2f4ebb2fd6c41040de806c0f16a7d0aeec0b774.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 17:52:08 +0000 (13:52 -0400)]
checkpoint

darcs-hash:20060702175208-5007d-04094c9197daed9f9705be648987d26e3b55f9c3.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 17:51:20 +0000 (13:51 -0400)]
checkpoint

darcs-hash:20060702175120-5007d-2117cd89d50661da17a605b1387168f928e900a2.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 08:30:07 +0000 (04:30 -0400)]
checkpoint

darcs-hash:20060702083007-5007d-c29427d0572127d391ed40ef39d0279358429437.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 08:28:13 +0000 (04:28 -0400)]
checkpoint

darcs-hash:20060702082813-5007d-6ff68cfe1836f568dfb921d43f0a67061814f36f.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 06:45:18 +0000 (02:45 -0400)]
checkpoint

darcs-hash:20060702064518-5007d-1371a3d9ffd3b5429f2248c227de35070794658c.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 04:57:08 +0000 (00:57 -0400)]
checkpoint

darcs-hash:20060702045708-5007d-4696e6ee493c77d873a8fd40501d99bb7309fa20.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 03:51:56 +0000 (23:51 -0400)]
checkpoint

darcs-hash:20060702035156-5007d-cfd15d52ed7d2e64f49a0b7841a1c3cf65b548ea.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 03:22:33 +0000 (23:22 -0400)]
checkpoint

darcs-hash:20060702032233-5007d-9863b768e37c74d4ecdcf299db8ba121c8ad2b20.gz

17 years agocheckpoint
adam [Sun, 2 Jul 2006 03:21:22 +0000 (23:21 -0400)]
checkpoint

darcs-hash:20060702032122-5007d-1d4f1aa29f0fbec2bb61ae0970f45d3ebf17691b.gz

17 years agocheckpoint
adam [Wed, 28 Jun 2006 22:09:24 +0000 (18:09 -0400)]
checkpoint

darcs-hash:20060628220924-5007d-c2445187f5807325bda5f062bbc4ab45acfac345.gz

17 years agocheckpoint
adam [Wed, 28 Jun 2006 22:06:21 +0000 (18:06 -0400)]
checkpoint

darcs-hash:20060628220621-5007d-27e1a175e71388d653724107e519e96753fe3b6c.gz

17 years agocheckpoint
adam [Wed, 28 Jun 2006 04:39:25 +0000 (00:39 -0400)]
checkpoint

darcs-hash:20060628043925-5007d-7a96b3d37a833f4e486c643edbc546c9412ee230.gz

17 years agounrolling forests without recursion
adam [Sat, 3 Jun 2006 08:51:36 +0000 (04:51 -0400)]
unrolling forests without recursion

darcs-hash:20060603085136-5007d-aa958aa60d5a0d884aa02a8de46c7307d5fb54bc.gz

17 years agotentative checkpoint
adam [Tue, 30 May 2006 03:25:47 +0000 (23:25 -0400)]
tentative checkpoint

darcs-hash:20060530032547-5007d-f271300cc6e31228efae40926763898e8cd186fe.gz

17 years agotentative checkpoint
adam [Mon, 29 May 2006 21:54:31 +0000 (17:54 -0400)]
tentative checkpoint

darcs-hash:20060529215431-5007d-725df35fdd3c552c95bcd97c583f37df6f66cd3e.gz

17 years agotentative checkpoint
adam [Mon, 29 May 2006 21:40:16 +0000 (17:40 -0400)]
tentative checkpoint

darcs-hash:20060529214016-5007d-f4948e76448fef69d7f56c0db52230fd2c434661.gz

17 years agotentative checkpoint
adam [Mon, 29 May 2006 21:36:32 +0000 (17:36 -0400)]
tentative checkpoint

darcs-hash:20060529213632-5007d-41e55b3906c6c31f5bf8e8d622adeb11b80af659.gz

17 years agotentative checkpoint
adam [Mon, 29 May 2006 21:34:41 +0000 (17:34 -0400)]
tentative checkpoint

darcs-hash:20060529213441-5007d-2f12172142075baf1e0e0acd0aae06c1aec0dbea.gz

17 years agotentative checkpoint
adam [Mon, 29 May 2006 21:31:05 +0000 (17:31 -0400)]
tentative checkpoint

darcs-hash:20060529213105-5007d-39fbb5d1817f5b5c197129b92e9d62f5a113ff7a.gz

17 years agotentative checkpoint ROLL THIS BACK BUT INCLUDES CRUCIAL FIX
adam [Mon, 29 May 2006 07:48:08 +0000 (03:48 -0400)]
tentative checkpoint ROLL THIS BACK BUT INCLUDES CRUCIAL FIX

darcs-hash:20060529074808-5007d-be65fd987295ef194773dbf20d0fe87af05fc760.gz

17 years agocheckpoint
adam [Sun, 28 May 2006 08:25:13 +0000 (04:25 -0400)]
checkpoint

darcs-hash:20060528082513-5007d-12704eb79ae6fa742756b42a2c5af7c9d96c8c3d.gz

17 years agocheckpoint
adam [Sun, 28 May 2006 08:06:25 +0000 (04:06 -0400)]
checkpoint

darcs-hash:20060528080625-5007d-ddb2469882433cd8b5e4e500bb57898de9945170.gz

17 years agocheckpoint
adam [Sun, 28 May 2006 08:00:34 +0000 (04:00 -0400)]
checkpoint

darcs-hash:20060528080034-5007d-d441a0664996df1b4fc9a13ff5f2325d7754cb63.gz

17 years agocheckpoint
adam [Sun, 28 May 2006 07:53:49 +0000 (03:53 -0400)]
checkpoint

darcs-hash:20060528075349-5007d-2362c3e73923024e33162d4a38b6533b30a074af.gz

17 years agocheckpoint
adam [Sun, 28 May 2006 07:18:54 +0000 (03:18 -0400)]
checkpoint

darcs-hash:20060528071854-5007d-4356c4a6722a172976336a40819f0c8531a7c54e.gz

17 years agocheckpoint
adam [Thu, 25 May 2006 06:43:09 +0000 (02:43 -0400)]
checkpoint

darcs-hash:20060525064309-5007d-6fc441503c6071f88ede901f812c869dd3f21741.gz

17 years agocheckpoint
adam [Thu, 25 May 2006 06:41:44 +0000 (02:41 -0400)]
checkpoint

darcs-hash:20060525064144-5007d-e2fd2f1b3393dae743046981f6e96dce6b233cc2.gz

17 years agocheckpoint
adam [Thu, 25 May 2006 06:25:11 +0000 (02:25 -0400)]
checkpoint

darcs-hash:20060525062511-5007d-14f5477ab3848e40c7e614e638175b158e7a0fb8.gz

17 years agocheckpoint
adam [Thu, 25 May 2006 06:24:43 +0000 (02:24 -0400)]
checkpoint

darcs-hash:20060525062443-5007d-21539debbd53341633a0f3de06d7ee39b0d2637a.gz

17 years agocheckpoint
adam [Thu, 25 May 2006 06:24:33 +0000 (02:24 -0400)]
checkpoint

darcs-hash:20060525062433-5007d-90fbda2556bfdb1e4fb9f52bc023255ec8976f00.gz

18 years agocheckpoint
adam [Sat, 15 Apr 2006 09:41:56 +0000 (05:41 -0400)]
checkpoint

darcs-hash:20060415094156-5007d-dbb8f07d430d33213ae32bad64a60936fe5c2610.gz

18 years agocheckpoint
adam [Tue, 11 Apr 2006 21:28:35 +0000 (17:28 -0400)]
checkpoint

darcs-hash:20060411212835-5007d-cb10c73989ea290dc33a704500eac1cbac37d9e9.gz

18 years agocheckpoint
adam [Tue, 11 Apr 2006 20:56:56 +0000 (16:56 -0400)]
checkpoint

darcs-hash:20060411205656-5007d-2a14a7c1cf7a3a936790ffe1f96c099d9d780c6a.gz

18 years agocheckpoint
adam [Fri, 31 Mar 2006 14:54:44 +0000 (09:54 -0500)]
checkpoint

darcs-hash:20060331145444-5007d-81652a11544c90538e753530c79d1755dc03a8ae.gz

18 years agocheckpoint
adam [Thu, 30 Mar 2006 19:33:32 +0000 (14:33 -0500)]
checkpoint

darcs-hash:20060330193332-5007d-3012776ca736d0766a550ff016cf5f8c1d485dbf.gz

18 years agocheckpoint
adam [Thu, 30 Mar 2006 19:03:09 +0000 (14:03 -0500)]
checkpoint

darcs-hash:20060330190309-5007d-f536654062e5431d8a49dc9fbacf8cf0994fc059.gz

18 years agocheckpoint
adam [Thu, 30 Mar 2006 18:57:26 +0000 (13:57 -0500)]
checkpoint

darcs-hash:20060330185726-5007d-4168d28f3be622833ca02f27723fb56f284ebaa6.gz

18 years agocheckpoint
adam [Thu, 30 Mar 2006 15:13:55 +0000 (10:13 -0500)]
checkpoint

darcs-hash:20060330151355-5007d-d6aa47b5567ff0a5790574a24a96ff8c5ebe7917.gz

18 years agomore improvements to TibDoc
adam [Sun, 5 Mar 2006 07:29:27 +0000 (02:29 -0500)]
more improvements to TibDoc

darcs-hash:20060305072927-5007d-016843b612d3e5fd3cfd5b3d907e844379366cb3.gz

18 years agoadded more flexible handling of Repeats -- now you can specify what they get tagged...
adam [Sun, 5 Mar 2006 07:01:05 +0000 (02:01 -0500)]
added more flexible handling of Repeats -- now you can specify what they get tagged with (null by default)

darcs-hash:20060305070105-5007d-94da880f63c6bfa30c0ceb607fbfde092515e1d4.gz

18 years agoMakefile updates
adam [Sun, 5 Mar 2006 07:00:50 +0000 (02:00 -0500)]
Makefile updates

darcs-hash:20060305070050-5007d-f753a41ab6f4bb57727835e019d449a1072d97de.gz

18 years agoadded if-then-else dangling testcase
adam [Sun, 5 Mar 2006 07:00:39 +0000 (02:00 -0500)]
added if-then-else dangling testcase

darcs-hash:20060305070039-5007d-78d48ed02bc5088d6978ae9fb2f685fb775a5fd3.gz

18 years agoformatting
adam [Sun, 5 Mar 2006 07:00:25 +0000 (02:00 -0500)]
formatting

darcs-hash:20060305070025-5007d-e96f4a8e8bd5485cbeb0cca01579c02cf521ba1c.gz

18 years agoupdated fleet.g
adam [Sun, 5 Mar 2006 07:00:07 +0000 (02:00 -0500)]
updated fleet.g

darcs-hash:20060305070007-5007d-c4b51970da306d97905c6e5ac1a7f04722c9bfb4.gz

18 years agoadded/updated ToHTML
adam [Sun, 5 Mar 2006 07:00:03 +0000 (02:00 -0500)]
added/updated ToHTML

darcs-hash:20060305070003-5007d-c940d59df87fb1d28e986125f195ccb9cc99e867.gz

18 years agoupdates to Reflection.java
adam [Sun, 5 Mar 2006 06:59:09 +0000 (01:59 -0500)]
updates to Reflection.java

darcs-hash:20060305065909-5007d-00db4d42bf2c85053e13dcc399c3179badcfd493.gz

18 years agoTibDoc updates
adam [Sun, 5 Mar 2006 06:58:51 +0000 (01:58 -0500)]
TibDoc updates

darcs-hash:20060305065851-5007d-e7021f5dc7fb3d98c2a57b7b914e6cb280ddb9ed.gz

18 years agocheckpoint
adam [Sun, 12 Feb 2006 08:01:55 +0000 (03:01 -0500)]
checkpoint

darcs-hash:20060212080155-5007d-02db7f642cd71d9c42d75f72b557953269bc3b3b.gz

18 years agoadded JavaCase
adam [Sun, 12 Feb 2006 01:19:42 +0000 (20:19 -0500)]
added JavaCase

darcs-hash:20060212011942-5007d-7fb16f772d225422a249d37a07184dd2b0dbd244.gz

18 years agoadded isConcrete
adam [Sun, 12 Feb 2006 01:19:29 +0000 (20:19 -0500)]
added isConcrete

darcs-hash:20060212011929-5007d-c889070b3c590dffdde3e0bb7528bf6ded0bdebe.gz

18 years agoline counting bug
adam [Sun, 12 Feb 2006 01:18:33 +0000 (20:18 -0500)]
line counting bug

darcs-hash:20060212011833-5007d-4a4bc29f9531b3d984e2550139b3a2ff7b84a54c.gz

18 years agocheckpoint
adam [Sun, 12 Feb 2006 00:29:02 +0000 (19:29 -0500)]
checkpoint

darcs-hash:20060212002902-5007d-453749dc64a01d64627e6ec72310256b1b133e15.gz

18 years agocheckpoint
adam [Sun, 12 Feb 2006 00:27:22 +0000 (19:27 -0500)]
checkpoint

darcs-hash:20060212002722-5007d-f070fc199e4221dd37d811a706a550447d043241.gz

18 years agocheckpoint
adam [Sun, 12 Feb 2006 00:22:31 +0000 (19:22 -0500)]
checkpoint

darcs-hash:20060212002231-5007d-afdf87886cd38407db887064b86058b72f8b517a.gz

18 years agocheckpoint
adam [Sun, 12 Feb 2006 00:01:00 +0000 (19:01 -0500)]
checkpoint

darcs-hash:20060212000100-5007d-4c92cbbb7c01833e7a607e9793985715c6f352e5.gz

18 years agoadded GraphViz support
adam [Sat, 11 Feb 2006 23:03:09 +0000 (18:03 -0500)]
added GraphViz support

darcs-hash:20060211230309-5007d-f17b922b820a79df9997ac551367f28d4ba212fa.gz

18 years agoremoved singleton
adam [Sat, 11 Feb 2006 23:02:52 +0000 (18:02 -0500)]
removed singleton

darcs-hash:20060211230252-5007d-e7038cc68a1f0b7af2f7851e0afae3c7c5122fb2.gz

18 years agofixed the ugly comma bug; still unsure of the ultimate solution
adam [Sat, 11 Feb 2006 09:50:20 +0000 (04:50 -0500)]
fixed the ugly comma bug; still unsure of the ultimate solution

darcs-hash:20060211095020-5007d-dcefaed5deef35138c978cb72514cb78afe29d8b.gz

18 years agofixup
adam [Sat, 11 Feb 2006 09:34:30 +0000 (04:34 -0500)]
fixup

darcs-hash:20060211093430-5007d-a8cf5f819086e3e3fa5183be31e92130676bfd78.gz

18 years agoadded Visitable
adam [Sat, 11 Feb 2006 09:06:39 +0000 (04:06 -0500)]
added Visitable

darcs-hash:20060211090639-5007d-d813938805ed4e99f02eda4b1d57f19e7a1dbd5f.gz

18 years agoadded tracking of position to Forest nodes
adam [Fri, 10 Feb 2006 07:05:15 +0000 (02:05 -0500)]
added tracking of position to Forest nodes

darcs-hash:20060210070515-5007d-840031e0ff1fb782492c1407c584bd79091e7032.gz

18 years agofixed tibdoc
adam [Thu, 9 Feb 2006 08:14:45 +0000 (03:14 -0500)]
fixed tibdoc

darcs-hash:20060209081445-5007d-b0429567b687916f10b57d860f22326e219a0135.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 09:15:29 +0000 (04:15 -0500)]
checkpoint

darcs-hash:20060130091529-5007d-b12eb361060e818895d2d019dfe84ae146f458d5.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 09:01:45 +0000 (04:01 -0500)]
checkpoint

darcs-hash:20060130090145-5007d-95c3d7a938654dd7eea6a510468a1b48b07d1fb3.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 08:54:04 +0000 (03:54 -0500)]
checkpoint

darcs-hash:20060130085404-5007d-fb82bfe313a6ab5ad4e0fe6c7ca2b935760755ad.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 08:08:34 +0000 (03:08 -0500)]
checkpoint

darcs-hash:20060130080834-5007d-af3730908af7a65135bb39ef9bea12b4209b1ae8.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 07:42:15 +0000 (02:42 -0500)]
checkpoint

darcs-hash:20060130074215-5007d-bede58d191fb98018215307403e989a5aa671a0a.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 07:33:36 +0000 (02:33 -0500)]
checkpoint

darcs-hash:20060130073336-5007d-4ec1424159f3c6a89e15c20a415e9dfec5f48f68.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 07:13:59 +0000 (02:13 -0500)]
checkpoint

darcs-hash:20060130071359-5007d-0f238e24d4872de662ac466f4b7fc622a7b9a80f.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 06:10:02 +0000 (01:10 -0500)]
checkpoint

darcs-hash:20060130061002-5007d-ed152c6a4741a7fa3ad68996e876979587bae70a.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 06:04:41 +0000 (01:04 -0500)]
checkpoint

darcs-hash:20060130060441-5007d-a6177db9a03be4594f17564cc8c39eddce02f29c.gz

18 years agocheckpoint
adam [Mon, 30 Jan 2006 06:03:32 +0000 (01:03 -0500)]
checkpoint

darcs-hash:20060130060332-5007d-67c4c615664c156c8532fbd95c4261dcca525f94.gz