intermediate checkpoint

darcs-hash:20060108010841-5007d-4d70a6432b2c42b6ff0e7d3e0022fb0c99cdde9f.gz

yay, new boolean resolution approach works

darcs-hash:20060108010636-5007d-e8e1c2d0456e2c4e5f9bc2f30adbb54bebd260fe.gz

added decent error reporting

darcs-hash:20060107094233-5007d-1b1b3e16497e5ff150384e14df7a7729b369196a.gz

got new tib tokenizer going

darcs-hash:20060106083219-5007d-c4ad8cc9e003df55e8db41c0870347f428856992.gz

added code to check for created-by-empty-reduction

darcs-hash:20060106052306-5007d-023ea006cf8a3cd5c1b3ad6f7d1b58761d4fbf35.gz

checkpoint

darcs-hash:20060105091456-5007d-1e4143c8a7344945f087a8b447831b5d2045b055.gz

checkpoint

darcs-hash:20060105090906-5007d-27273659343545a069fc945bb543ac74dab4b04b.gz

checkpoint

darcs-hash:20060105090818-5007d-d52278c53bd831a79f7e1c4b4b0512e251b45ef5.gz

checkpoint

darcs-hash:20060105090813-5007d-2c87bd783e5d26b31a44173e8ca26244fc3043af.gz

checkpoint

darcs-hash:20060105090658-5007d-6a001bafb621cdbe931b03e5256d7a7d813452fb.gz

checkpoint

darcs-hash:20060105090118-5007d-d6be2943f8cb29370e8f13c5114338a874434b58.gz

it all works

darcs-hash:20060105073930-5007d-0aa9bef7e97fbe87265879b06083b3ebca3522de.gz

checkpoint

darcs-hash:20060105031107-5007d-80cd89764edfaf646a766acadd908fc30645b556.gz

checkpoint

darcs-hash:20060105030857-5007d-b000eca02d0f105f242d51a87014da0dd452ee4f.gz

checkpoint

darcs-hash:20060105030320-5007d-85d5bb67a3ad0b54344b05feb6f3e922afd2444b.gz

checkpoint

darcs-hash:20060104122002-5007d-e3168202afb862d070042071ceb1950df4d4549c.gz

checkpoint

darcs-hash:20060104111430-5007d-5163a1269d96f1d41ba37e7e6dafe29c33ebe5f6.gz

checkpoint

darcs-hash:20060104110725-5007d-a58d79cde4a929398b8007ebb7f78c81952933ed.gz

checkpoint

darcs-hash:20060104110706-5007d-717b083eff757438e1f41a3dc103655e0bd7b7b3.gz

checkpoint

darcs-hash:20060104110127-5007d-8d5311fa94d603d02ec275421c7d8dddfcca9bdd.gz

checkpoint

darcs-hash:20060104110013-5007d-a14d2a070de50628ba2b3ab972497086462de328.gz

checkpoint

darcs-hash:20060104105317-5007d-bed73d0e9cb6781fca85c4837237d63133667a5a.gz

checkpoint

darcs-hash:20060104104914-5007d-913ac463629afb684e9ce5b99e7681453c298558.gz

checkpoint

darcs-hash:20060104104724-5007d-c98ffc2ae2c190a82c47d6e03295e7fb1dff0dd8.gz

checkpoint

darcs-hash:20060104104305-5007d-2f24ee591a0d28868417efe5c59d34097361d49d.gz

checkpoint

darcs-hash:20060104104131-5007d-62431bf08cdcc2722bc1b35a6ba974679fe23dce.gz

checkpoint

darcs-hash:20060104103003-5007d-3ea9c768cc6b7e699e9f6442b10471a534fccefd.gz

checkpoint

darcs-hash:20060104102904-5007d-cb491981c635fe69b6fa33a894a87a5f3c9d8493.gz

checkpoint

darcs-hash:20060104102754-5007d-91bd279f856436090e878c0170612db19b95bd7a.gz

checkpoint

darcs-hash:20060104100918-5007d-6aff793c8d97ec1f782bba513f3e3778aca72bb0.gz

checkpoint

darcs-hash:20060104100622-5007d-3d2f309f5b19c93a8736b0a1e2dc606b00bd4522.gz

checkpoint

darcs-hash:20060104094209-5007d-4753c4a3f52bb2f70d1be0778f8cd7252404fcd1.gz

checkpoint

darcs-hash:20060104093644-5007d-7222a88b6eeb5c4c298d2f1519d5c6f1fa1bf71b.gz

checkpoint

darcs-hash:20060104092320-5007d-2e8781b9f79466022e7637a99ffa9e3c60574615.gz

checkpoint

darcs-hash:20060104091904-5007d-e59f6d5cdcc32808044286d3c5676974950e1041.gz

checkpoint

darcs-hash:20060104091111-5007d-ccae0cc34703ba44d9c8f51dbd2e13ac99b7b715.gz

checkpoint

darcs-hash:20060104090906-5007d-d924077703d913bff66e251aed155154d141a682.gz

checkpoint

darcs-hash:20060104090807-5007d-87304a4b9d4ef193924a1c8c7c59f1c3fca9affe.gz

checkpoint

darcs-hash:20060104084921-5007d-efe171e31561d14c8c2458e3973294ec21cdc443.gz

checkpoint

darcs-hash:20060104084308-5007d-7daa9e77c69ab2e108d4eefef031380cbf48ddb9.gz

checkpoint

darcs-hash:20060104071705-5007d-ec8270ebcc902b2364afb0ef91ebb8bf71ff6253.gz

added PrintableTree

darcs-hash:20060103071619-5007d-73f7b47b9c39d7629be429982e788aa481ad6f45.gz

Table extends Cache

darcs-hash:20060103032456-5007d-f1d2239d7a06708226c60d4faab819fd4cb3022d.gz

refactored Parser.Table.start0 stuff

darcs-hash:20060102074135-5007d-6500b0a94530c7125d26866c4f5d9c9d381f63b8.gz

eliminated Parser.Table.Top

darcs-hash:20060102073107-5007d-a0da7be4ee14c8ee6d0001e86ffe709a4d07f772.gz

eliminate Walk.Last

darcs-hash:20060102071718-5007d-1670b3ea1082a4d53557c2e29ff152f23f7a596f.gz

hoisted getLocation() out of Token and into Token.Stream

darcs-hash:20060102071613-5007d-1ca4d808d065cfa45cb60702c110e7517ebaf84b.gz

refactored Repeat

darcs-hash:20060102065809-5007d-542715fdcd1caf130f3aa66534163a982975e98f.gz

eliminated Token.Location.getContext()

darcs-hash:20060102065327-5007d-ecedeead6e7d086fb83123c41672ce3fd781750b.gz

refactoring to eliminate Token.result()

darcs-hash:20060102065226-5007d-b8a300317328f76042b43c170df7e8569328f5bb.gz

refactored Topology to make it a value (immutable) class

darcs-hash:20060102062808-5007d-b2bc0b6e025f75803c863795a62a65c316c6c155.gz

refactored Element.reachable()

darcs-hash:20060102055638-5007d-f8db0d2cb15d6da31acf84dd75b13ce59d171ec4.gz

added arbitrary expression inversion, lookforward, and syntax for lookback

darcs-hash:20060102053846-5007d-1a809fad56c9ef6fd554fca18f7067b3ff5d5c0b.gz

fixed ambiguity in comments

darcs-hash:20060102053830-5007d-75735936762a06ea2a27c3d31099fc51bc015e47.gz

convered maximal to use character lookahead

darcs-hash:20060102034924-5007d-d76e881205902ded81ca8826b94b9e865e1e232c.gz

removed illegal use of double-star

darcs-hash:20060102024750-5007d-24a3c776616cb59c9a5d4188915629d261702f7d.gz

added Element.toAtom()

darcs-hash:20060102023713-5007d-26080b7906673e77b89f10ae42fe09a8174fc89e.gz

dropped Atom.top()

darcs-hash:20060102023214-5007d-aa1057910e3d5e198a4fb7bdea5d344ef11a2ced.gz

Atom implements Topology

darcs-hash:20060102023029-5007d-776e61936cd54692719ce80500103159e0c075ec.gz

new checkpoint

darcs-hash:20060102022651-5007d-755d5348c3d1fed9676aae30d7cef9a34adc3413.gz

new checkpoint

darcs-hash:20060102020725-5007d-e82a2a603462ad169529165a69a5b32fcd964891.gz

backported some stuff

darcs-hash:20060102020329-5007d-4f42b90d881f898c630d76dae5922ccaa9fb3b54.gz

good patch

darcs-hash:20060102015922-5007d-8e200889e132bcf7ad9b3b6c19039e9afed8d691.gz

added StringToken

darcs-hash:20051225102852-5007d-9bd3d55edabd4107e8d3fe0b712b65483a9fe313.gz

added DiscreteTopology

darcs-hash:20051225102837-5007d-98bb27c7f4d67e1461c6dccdc1ddfbce81b8f1b5.gz

added stuff to TibDoc

darcs-hash:20051225102820-5007d-8dbe1e51b5de193b44425ab7ec3bddf65e770296.gz

files in tests directory

darcs-hash:20051225102752-5007d-7fa9b78d32a44f0a98d1b359260b7a6963c71a7d.gz

TODO

darcs-hash:20051225102723-5007d-f56d1547f13e304fb80b5d1d378c8d25d6fd3131.gz

Makefile changes

darcs-hash:20051225102712-5007d-afd60c561154e99ca558a1972c68de4b5aa7e9a8.gz

checkpoint

darcs-hash:20051222033652-5007d-6e316b6c5a48c4844c355707590ab7f88a8fdbfe.gz

checkpoint

darcs-hash:20051222031939-5007d-e6f12beb4087e80445a7d94bc6c262cb99ba88ff.gz

checkpoint

darcs-hash:20051222031929-5007d-ac419b3914cc5cff18bc27fc9ff5a1ac22c2716d.gz

checkpoint

darcs-hash:20051222031311-5007d-f6c3e3445e33fad94c8852988c27d0cafa9af855.gz

checkpoint

darcs-hash:20051222030929-5007d-538a39bd062b7b7402c25e9196944ed8ef0e2512.gz

checkpoint

darcs-hash:20051222030705-5007d-6bf29fca565349b9b95e18ade4c045510695b4e9.gz

checkpoint

darcs-hash:20051222030336-5007d-b7e2a867eab13a983b56b934ddefece3c141729c.gz

checkpoint

darcs-hash:20051222025533-5007d-3829ae63ff60fea9ada5b0842802ced548a9d895.gz

checkpoint

darcs-hash:20051222015556-5007d-74eb7f98e744313f5a88b09b2f809fb237be545e.gz

checkpoint

darcs-hash:20051222015225-5007d-904ad476894fe53ea97e6cb7091c73ede5782908.gz

checkpoint

darcs-hash:20051222014716-5007d-4c4c2ad9462ca6d46812534223c80892a3a8338a.gz

checkpoint

darcs-hash:20051222014359-5007d-a36a40ea1706ec200b501b21725404b16c391b97.gz

checkpoint

darcs-hash:20051222013810-5007d-45177dc302d6ce693aa4986d87788ae788103d33.gz

checkpoint

darcs-hash:20051222012810-5007d-6ad0b2cfa57240c899cc16a6caaa2c6b37f09add.gz

checkpoint

darcs-hash:20051222012155-5007d-9a4d52f1f1d3819b1099842f04011cbea4849f7d.gz

checkpoint

darcs-hash:20051222012019-5007d-7e4d2018e9acfa528d84a12de7ed99dcebb0c56d.gz

checkpoint

darcs-hash:20051222011703-5007d-c23f10f4f42647acc720aaafd77f80d40c8a0831.gz

checkpoint

darcs-hash:20051219090532-5007d-74cffe8a1d8662d93fb5ae879214a01faf5c5661.gz

checkpoint

darcs-hash:20051219085230-5007d-d223c7557186b1fc6786d21667f9757f09f1d64f.gz

checkpoint

darcs-hash:20051219083748-5007d-76138ec6afdade920737703e19db2641744e4f94.gz

checkpoint

darcs-hash:20051219082926-5007d-0a9d8294b1b330c57ddba6e21182fb943f1dd160.gz

checkpoint

darcs-hash:20051219074223-5007d-0daea4e82403f1100c2c5b823241e4e530d74dbe.gz

checkpoint

darcs-hash:20051219071623-5007d-b94cfbbf33d5c71bf6d0a0bf8259dde1de8e1d92.gz

checkpoint

darcs-hash:20051219070400-5007d-0423e079656ef1aa811dc176f574acde2b790e40.gz

checkpoint

darcs-hash:20051219070244-5007d-acdb5ea1bcc2eeb888c1970cf9c7d80303ca3bba.gz

checkpoint

darcs-hash:20051219065243-5007d-c385cea811c52fcadb524b4c1aa8d5bb56401072.gz

checkpoint

darcs-hash:20051219065206-5007d-2aa8ff25730450bcdac5560eae05d333d315dc0c.gz

checkpoint

darcs-hash:20051219063238-5007d-7fa9ae27423d904a3911a8506090a34062afa6c4.gz

checkpoint

darcs-hash:20051219062722-5007d-536b178ba32900ccaaee67d0791222f95c2a7953.gz

checkpoint

darcs-hash:20051219062558-5007d-93c254e34f0b70f3b757a2eaef0792a59311da0a.gz

checkpoint

darcs-hash:20051219061348-5007d-4a9701b4285fb460e3fe5ec76a9cff160128cfc5.gz