DomTool/LanguageReference1622010-01-27 11:43:02AdamChlipalaAddress DanielWagner's comment1612010-01-26 20:27:53DanielWagnerwhine about domtool a bit1602008-07-07 04:27:50localhostconverted to 1.6 markup1592008-04-30 15:04:27AdamChlipaladeleuze -> hcoop1582008-04-02 00:47:09MichaelOlsonMake this writable only by people who have usernames on the wiki to avoid vandalism1572008-04-01 15:03:54AdamChlipalaRevert to revision 154.1562008-04-01 12:46:30202.28.27.4. - http://65yhe789ohi3.cn/aforcemorepowerful.html a force more powerful - http://65yhe789ohi3.cn/colliedogpictures.html collie dog pictures - http://65yhe789ohi3.cn/legalmalpracticelawyerflorida.html1552008-04-01 10:26:32202.28.27.3. - http://4hyp34u3434y.cn/floodwatch.html flood watch - http://4hyp34u3434y.cn/werewolfimages.html werewolf images - http://4hyp34u3434y.cn/sheetzgas.html sheetz gas - http://4hyp34u3434y.cn/airforce1542008-03-28 11:35:58StephenTaylorRevert to revision 149.1532008-03-28 09:39:11133.10.236.3. - http://wgb8g9f3wb.cn/penilefitness.html penile fitness - http://wgb8g9f3wb.cn/marketingmixarticle.html marketing mix article - http://wgb8g9f3wb.cn/prozzaksuckstobeyou.html prozzak sucks to be you1522008-03-28 05:37:2497-81-19-227.static.gwnt.ga.charter.com. - http://vyiuweg43.cn/gasolinecomposition.html gasoline composition - http://vyiuweg43.cn/buyingplanetickets.html buying plane tickets - http://vyiuweg43.cn/famousarchaeologists.html famous archaeol1512008-03-28 01:22:11202.28.27.4. - http://vu65f8vt7.cn/alcoholicpunchdrinks.html alcoholic punch drinks - http://vu65f8vt7.cn/romamaffianude.html roma maffia nude - http://vu65f8vt7.cn/libertytexashighschool.html liberty texas high1502008-03-27 23:16:01202.28.27.4. - http://kityiktg.cn/gunsandrosestour.html guns and roses tour - http://kityiktg.cn/individualcareerplan.html individual career plan - http://kityiktg.cn/kelseybriggs.html kelsey briggs - http://kit1492008-03-27 21:38:49StephenTaylorRevert to revision 132.1482008-03-27 18:51:00202.28.27.4. - http://ihjgpagbofg.cn/corrymorrow.html corry morrow - http://ihjgpagbofg.cn/rcavictorbakeliteradio.html rca victor bakelite radio - http://ihjgpagbofg.cn/bussecombatknives.html busse combat knives1472008-03-27 07:39:57ip-72-55-137-212.static.privatedns.com. - http://gwentgwl.cn/northwestairlinescreditcard.html northwest airlines credit card - http://gwentgwl.cn/bubblegumfacts.html bubblegum facts - http://gwentgwl.cn/floridarealestatetest.html florida1462008-03-27 00:25:57133.10.236.3. - http://gdhnpsgge.cn/ecclectic.html ecclectic - http://gdhnpsgge.cn/wolstenholme.html wolstenholme - http://gdhnpsgge.cn/exhibitionistflasher.html exhibitionist flasher - http://gdhnpsgge.cn/mapofl1452008-03-26 17:43:3486.96.226.15. - http://gabdgpiab.cn/lyricadrug.html lyrica drug - http://gabdgpiab.cn/powerpointaudio.html powerpoint audio - http://gabdgpiab.cn/poolsafetyequipment.html pool safety equipment - http://gabdgpiab.1442008-03-26 15:19:43adsl196-190-249-217-196.adsl196-16.iam.net.ma. - http://f8cpbivoou.cn/19446.html 19446 - http://f8cpbivoou.cn/columbuscommunityhospital.html columbus community hospital - http://f8cpbivoou.cn/slayerraining.html slayer raining - http://f8cpbivoou1432008-03-26 12:40:11133.10.236.3. - http://bv89ft3o.cn/defineempirical.html define empirical - http://bv89ft3o.cn/debtsettlementamerica.html debt settlement america - http://bv89ft3o.cn/houstontransit.html houston transit - http://b1422008-03-26 10:17:1691.74.160.18. - http://buo7879.cn/2003populationinunitedstates.html 2003 population in united states - http://buo7879.cn/chinatraintravel.html china train travel - http://buo7879.cn/staceystorey.html stacey store1412008-03-25 17:55:21133.10.236.3. - http://3wn7g803whg.cn/planningmanagementofficerelocation.html planning management office relocation - http://3wn7g803whg.cn/pulmonaryedemasymptoms.html pulmonary edema symptoms - http://3wn7g803wh1402008-03-24 21:55:17222.127.228.6. - http://wethw9ethhwe.cn/diaperpailfriends.html diaper pail friends - http://wethw9ethhwe.cn/capitalletters.html capital letters - http://wethw9ethhwe.cn/mcsparkyd.html mc sparky d - http://wethw9et1392008-03-24 19:27:48212.35.107.52. - http://wegh8ewghlwe.cn/innie.html innie - http://wegh8ewghlwe.cn/markturner.html mark turner - http://wegh8ewghlwe.cn/commentcard.html comment card - http://wegh8ewghlwe.cn/readingtruckbodies.html1382008-03-24 11:57:12softbank218125012129.bbtec.net. - http://herherher.cn/mapofkauaihawaii.html map of kauai hawaii - http://herherher.cn/minigardenflags.html mini garden flags - http://herherher.cn/manudibango.html manu dibango - http://herherher.cn1372008-03-24 07:09:56222.127.228.6. - http://h43yhrheyh.cn/newyeargreetings.html new year greetings - http://h43yhrheyh.cn/cleansingenema.html cleansing enema - http://h43yhrheyh.cn/nhlrumours.html nhl rumours - http://h43yhrheyh.cn/l1362008-03-24 02:21:3082.198.250.80. - http://gw3780gb.cn/whitedeerrun.html white deer run - http://gw3780gb.cn/championcrossplugreferencespark.html champion cross plug reference spark - http://gw3780gb.cn/japanesesauces.html japanese1352008-03-23 23:46:47222.127.228.6. - http://gjwev762f.cn/pianoweddingmusic.html piano wedding music - http://gjwev762f.cn/selfincrimination.html self incrimination - http://gjwev762f.cn/sitefurnishings.html site furnishings - http://1342008-03-23 21:26:24222.127.228.6. - http://ghwe986g9w.cn/101waysto.html 101 ways to - http://ghwe986g9w.cn/marianasoane.html mariana soane - http://ghwe986g9w.cn/caseykotchman.html casey kotchman - http://ghwe986g9w.cn/giantesscomic1332008-03-23 19:02:5569-217-73-52.ded.ameritech.net. - http://ghwe807ghlg.cn/2005malibu.html 2005 malibu - http://ghwe807ghlg.cn/didomp3.html dido mp3 - http://ghwe807ghlg.cn/sharksweeper.html shark sweeper - http://ghwe807ghlg.cn/westpharmaceutical.h1322008-03-23 17:14:25AdamChlipalaRevert to revision 125.1312008-03-23 16:33:35212.35.107.52. - http://ghe8ghwelgh.cn/celebritypiercing.html celebrity piercing - http://ghe8ghwelgh.cn/cryptographyhistory.html cryptography history - http://ghe8ghwelgh.cn/stalagmite.html stalagmite - http://gh1302008-03-23 12:00:09133.10.236.3. - http://gewhg0eygieh.cn/sandiegoprintingcompany.html san diego printing company - http://gewhg0eygieh.cn/inkcartridgesfordell720printer.html ink cartridges for dell 720 printer - http://gewhg0eygie1292008-03-23 06:46:4782.198.250.80. - http://geh90thwep.cn/diablo2expansioncdkey.html diablo 2 expansion cd key - http://geh90thwep.cn/asianfantasy.html asian fantasy - http://geh90thwep.cn/marshallfieldscoupons.html marshall fields c1282008-03-23 04:07:07212.35.107.52. - http://gegj5w5yy4.cn/blackrebelmotorcycleclublyrics.html black rebel motorcycle club lyrics - http://gegj5w5yy4.cn/gamberjohnson.html gamber johnson - http://gegj5w5yy4.cn/kiroromp3.html kiroro mp1272008-03-22 22:26:32222.127.228.6. - http://gbw89gw3bew.cn/pathtrainschedule.html path train schedule - http://gbw89gw3bew.cn/wacs.html wacs - http://gbw89gw3bew.cn/boschfuelinjectors.html bosch fuel injectors - http://gbw89gw3bew.cn1262008-03-22 22:26:1861.144.35.46. - http://gbw89gw3bew.cn/pathtrainschedule.html path train schedule - http://gbw89gw3bew.cn/wacs.html wacs - http://gbw89gw3bew.cn/boschfuelinjectors.html bosch fuel injectors - http://gbw89gw3bew.cn1252008-03-22 22:04:10PhilipNeustromRevert to revision 110.1242008-03-22 19:54:24222.127.228.6. - http://gbw837tgowilg.cn/suvbodykits.html suv body kits - http://gbw837tgowilg.cn/foodserving.html food serving - http://gbw837tgowilg.cn/discounthobby.html discount hobby - http://gbw837tgowilg.cn1232008-03-22 17:42:44212.35.107.52. - http://g45h9gh4hgpo.cn/guadalcanaldiary.html guadalcanal diary - http://g45h9gh4hgpo.cn/carshipment.html car shipment - http://g45h9gh4hgpo.cn/babyeinsteinvideos.html baby einstein videos - http:/1222008-03-22 13:07:47222.127.228.6. - http://fv379fviw.cn/salu.html salu - http://fv379fviw.cn/stainlesssteelprices.html stainless steel prices - http://fv379fviw.cn/spidermangallery.html spider man gallery - http://fv379fviw.cn/bradl1212008-03-22 06:21:34212.35.107.52. - http://bwgt89tge.cn/accessvirus.html access virus - http://bwgt89tge.cn/elpasoimports.html el paso imports - http://bwgt89tge.cn/usedprintingmachines.html used printing machines - http://bwgt89tge1202008-03-22 04:04:5158.56.7.164. - http://bgw8egog343.cn/greenmagazine.html green magazine - http://bgw8egog343.cn/laketahoewebcam.html lake tahoe webcam - http://bgw8egog343.cn/hotelsnearfoxwoods.html hotels near foxwoods - http:/1192008-03-21 23:41:50212.35.107.52. - http://4hyyhhehehe.cn/cinchshirts.html cinch shirts - http://4hyyhhehehe.cn/vealstew.html veal stew - http://4hyyhhehehe.cn/flashscript.html flash script - http://4hyyhhehehe.cn/killmuslims.html k1182008-03-21 23:09:01hilbert.informatik.uni-freiburg.de., http://b3gik3f334.cn/wagaero.html wag aero 8-PP, http://b3gik3f334.cn/reggioemiliaapproach.html reggio emilia approach dwe, http://b3gik3f334.cn/teenscreen.html teenscreen izdrtr, http://b3gik3f1172008-03-21 11:32:46222.127.228.6., http://terhhpt4h.cn/sparksdrink.html sparks drink >:-[[, http://terhhpt4h.cn/hotnaughtywives.html hot naughty wives %-)), http://terhhpt4h.cn/kentuckyhousingcorporation.html kentucky housing corp1162008-03-21 08:38:3569-217-73-52.ded.ameritech.net., http://tehrthoeuh.cn/highschoolessays.html high school essays 13764, http://tehrthoeuh.cn/orangecountytollroads.html orange county toll roads 6335, http://tehrthoeuh.cn/wineandcheeseparty.html wi1152008-03-21 05:21:20core_pool_1_75.emcali.net.co., http://kjbvfsdlk73.cn/cityofthorntoncolorado.html city of thornton colorado ldtt, http://kjbvfsdlk73.cn/orlandobloomfiles.html orlando bloom files ppngkb, http://kjbvfsdlk73.cn/sicilytours.html s1142008-03-21 00:22:41core_pool_1_75.emcali.net.co. - http://coolbeast.webng.com/ninobacci.html nino bacci - http://coolbeast.webng.com/coronetbeddrape.html coronet bed drape - http://coolbeast.webng.com/hilleryduffnude.html hillery duff nude - http:1132008-03-20 23:08:25222.127.228.6., http://jkbnelkbg.cn/newyorkcitymedicalmalpracticeattorneys.html new york city medical malpractice attorneys qpe, http://jkbnelkbg.cn/crappedpants.html crapped pants %-), http://jkbnelkbg.cn/tenth1122008-03-20 22:34:40222.127.228.6. - http://coolbeast.summerhost.info/lindalusardi.html linda lusardi - http://coolbeast.summerhost.info/melindastolp.html melinda stolp - http://coolbeast.summerhost.info/zettaikareshi.html zettai kar1112008-03-20 18:49:19222.127.228.6. - http://coolbeas.angelcities.com/frillyknickers.html frilly knickers - http://coolbeas.angelcities.com/tittes.html tittes - http://coolbeas.angelcities.com/jenniferconnelynude.html jennifer connely1102008-03-20 12:04:20StephenTaylorRevert to revision 106.1092008-03-20 08:18:24core_pool_1_75.emcali.net.co., http://h5897go45i.cn/canopytours.html canopy tours lnorjm, http://h5897go45i.cn/abortionquotes.html abortion quotes %)), http://h5897go45i.cn/rollingdufflebag.html rolling duffle bag >:OO, http:1082008-03-20 05:08:49222.127.228.6., http://giwugf74.cn/dynamicip.html dynamic ip eahfrz, http://giwugf74.cn/rcgascars.html r c gas cars qmvk, http://giwugf74.cn/liberatorpillow.html liberator pillow xdjido, http://giwugf74.cn/sand1072008-03-19 23:30:43222.127.228.6., http://gh83705tg.cn/focusfilms.html focus films 727645, http://gh83705tg.cn/thorlabs.html thorlabs 8-))), http://gh83705tg.cn/californiastatepolytechnicuniversity.html california state polytechni1062008-03-19 22:10:00StephenTaylorRevert to revision 104.1052008-03-19 13:14:27adsl196-190-249-217-196.adsl196-16.iam.net.ma., http://gh49hg.cn/toole.html toole =-[[[, http://gh49hg.cn/revolutionfootballhelmet.html revolution football helmet 732379, http://gh49hg.cn/buckheadhotels.html buckhead hotels >:), http://gh49hg1042008-03-19 11:57:33StephenTaylorRevert to revision 101.1032008-03-19 10:32:0491.74.160.18., http://gh49700945.cn/automechanic.html automechanic :)), http://gh49700945.cn/freepeoplefinderservices.html free people finder services gyujd, http://gh49700945.cn/writingchemicalformulas.html wr1022008-03-19 05:35:58core_pool_1_75.emcali.net.co., http://gh37y3p.cn/newreleaseddvd.html new released dvd tbrj, http://gh37y3p.cn/falo.html falo npnhkx, http://gh37y3p.cn/romanticvalentinesgifts.html romantic valentines gifts %)), http://gh37y3p1012008-03-18 23:14:45StephenTaylorRevert to revision 96.1002008-03-18 21:50:49core_pool_1_75.emcali.net.co., http://gb8ke.cn/treeline.html tree line :-P, http://gb8ke.cn/duvalcountyclerk.html duval county clerk >:-DDD, http://gb8ke.cn/picturesofjohnwaynegacy.html pictures of john wayne gacy 861853, htt992008-03-18 19:19:56nla58-2-88-163-28-1.fbx.proxad.net., http://gb8e7g.cn/raymondcobb.html raymond cobb :DDD, http://gb8e7g.cn/communicationinbusiness.html communication in business =[, http://gb8e7g.cn/dariofo.html dario fo stn, http://gb8e7g.cn/nodr982008-03-18 01:14:2369-217-73-52.ded.ameritech.net., http://fg346f7g934fg.cn/pioneerparts.html pioneer parts 70660, http://fg346f7g934fg.cn/trendenterprises.html trend enterprises 718, http://fg346f7g934fg.cn/benjaminfranklinpicture.html benjamin f972008-03-17 22:30:4461.28.1.91., http://fg3469t.cn/warsawmo.html warsaw mo uta, http://fg3469t.cn/earbleeding.html ear bleeding =-]]], http://fg3469t.cn/wowdruid.html wow druid =[[[, http://fg3469t.cn/tularerealestate.html tula962008-03-17 13:27:23c-24-4-1-236.hsd1.ca.comcast.netrevert to rev 93952008-03-17 12:51:5891.74.160.18., http://khvzi76e.cn/poetryclubs.html poetry clubs 8-PP, http://khvzi76e.cn/edithjones.html edith jones 008, http://khvzi76e.cn/iloveyousong.html i love you song :-))), http://khvzi76e.cn/venous.html942008-03-17 11:58:41222.127.228.6., http://f3g7fg63o.cn/peerreviewedjournals.html peer reviewed journals 8-)), http://f3g7fg63o.cn/truckwrap.html truck wrap =OO, http://f3g7fg63o.cn/emersonprocess.html emerson process 516836, http932008-03-17 09:37:22StephenTaylorRevert to revision 90.922008-03-17 09:28:45222.127.228.6., http://f3g67tg39iofg.cn/betsyfieldsdesign.html betsy fields design >:), http://f3g67tg39iofg.cn/bangersandmash.html bangers and mash :-(((, http://f3g67tg39iofg.cn/lafawnduh.html lafawnduh 45719912008-03-17 06:59:20222.127.228.6., http://hgeo8wo7.cn/arkansasemployment.html arkansas employment 8-]], http://hgeo8wo7.cn/lgdishwashers.html lg dishwashers %-]], http://hgeo8wo7.cn/regionfree.html region free kfnv, http://hgeo8wo7.902008-03-17 02:04:14StephenTaylorRevert to revision 88.892008-03-17 01:43:15222.127.228.6., http://bnvg8o3g.cn/oldfarmhouse.html old farm house 7743, http://bnvg8o3g.cn/obliviontrailer.html oblivion trailer cdf, http://bnvg8o3g.cn/euthanasiafact.html euthanasia fact 6258, http://bnvg8o882008-03-16 23:13:43StephenTaylorRevert to revision 86.872008-03-16 22:50:43218.63.252.219., http://gw3h879gt3o.cn/mainerealestatelisting.html maine real estate listing %OOO, http://gw3h879gt3o.cn/weavervillenorthcarolinarealestate.html weaverville north carolina real estate zsqrcg, http:/862008-03-16 21:49:00StephenTaylorRevert to revision 84.852008-03-16 20:56:2358.56.7.164., http://gnewjp98h43.cn/shrekfiona.html shrek fiona 943, http://gnewjp98h43.cn/oceancitymdboardwalkhotels.html ocean city md boardwalk hotels 74258, http://gnewjp98h43.cn/newhomebasedbusinessopportun842008-03-16 14:25:58StephenTaylorRevert to revision 82.832008-03-16 13:25:3969-217-73-52.ded.ameritech.net., http://ghew874.cn/sportsillistratedswimsuit.html sports illistrated swimsuit zmhfhc, http://ghew874.cn/trailerramp.html trailer ramp >:), http://ghew874.cn/mattressdiscounter.html mattress discount822008-03-16 12:48:29StephenTaylorRevert to revision 12.812008-03-16 11:36:02panaceq.homedsl.net1.cc., http://gheoygwo3.cn/koy.html koy 726, http://gheoygwo3.cn/watkinsmotor.html watkins motor %))), http://gheoygwo3.cn/gaelicwords.html gaelic words =-PPP, http://gheoygwo3.cn/alexanderthegreathistory802008-03-16 09:28:07222.127.228.7., http://gheoyg.cn/usedgardentractors.html used garden tractors :((, http://gheoyg.cn/keystonelight.html keystone light ikzn, http://gheoyg.cn/moscowpictures.html moscow pictures ftbwl, http://gheoyg792008-03-16 08:03:34DavidCrawshawRevert to revision 12.782008-03-16 07:19:23193.194.94.15., http://ghbew873o.cn/restaurantforlease.html restaurant for lease 507715, http://ghbew873o.cn/replacementlaptopbattery.html replacement laptop battery cmw, http://ghbew873o.cn/triax.html triax rgik,772008-03-16 04:16:10StephenTaylorRevert to revision 12.762008-03-16 02:57:36220.160.127.221., http://gh873g3o.cn/blackunicorns.html black unicorns swhv, http://gh873g3o.cn/treeimages.html tree images >:-))), http://gh873g3o.cn/theblackunicorn.html the black unicorn 3974, http://gh873g3o.cn/752008-03-15 18:57:56StephenTaylorRevert to revision 12.742008-03-15 18:53:11222.127.228.8., http://gewh790y4h.cn/fyimusic.html fyi music dmrd, http://gewh790y4h.cn/heatsink.html heatsink 019860, http://gewh790y4h.cn/teenswinger.html teen swinger axphqt, http://gewh790y4h.cn/hurricanedrink732008-03-15 16:54:12StephenTaylorRevert to revision 12.722008-03-15 16:48:42222.127.228.8., http://geh9y34h.cn/stresa.html stresa 001554, http://geh9y34h.cn/swedishmeatballrecipe.html swedish meatball recipe 686526, http://geh9y34h.cn/blondewig.html blonde wig 8OO, http://geh9y34h.cn/bras712008-03-15 13:30:29AdamChlipalaRevert to revision 69.702008-03-15 12:24:07222.127.228.7., http://geh70y4o.cn/catsillnesssymptoms.html cats illness symptoms 899, http://geh70y4o.cn/caldecottwinners.html caldecott winners 560370, http://geh70y4o.cn/australianblueheeler.html australian blu692008-03-15 10:38:43StephenTaylorRevert to revision 12.682008-03-15 10:27:18222.127.228.5., http://gbyero7to.cn/paginasamarillasmexico.html paginas amarillas mexico ncdanf, http://gbyero7to.cn/spousalvisas.html spousal visas 06450, http://gbyero7to.cn/harbourstation.html harbour station 3672008-03-15 06:23:1569-217-73-52.ded.ameritech.net., http://g80totto.cn/howtokillsomeone.html how to kill someone >:P, http://g80totto.cn/dysondc15.html dyson dc15 bqtsfv, http://g80totto.cn/obesegirls.html obese girls %-((, http://g80totto.cn/brosis662008-03-15 04:20:50StephenTaylorRevert to revision 12.652008-03-15 04:14:17adsl196-190-249-217-196.adsl196-16.iam.net.ma., http://g3h879g3to.cn/ktvk.html ktvk ssw, http://g3h879g3to.cn/hsbcukinternetbanking.html hsbc uk internet banking jcz, http://g3h879g3to.cn/thomasthetrainrides.html thomas the train rides tswv, htt642008-03-15 02:40:39StephenTaylorRevert to revision 12.632008-03-15 01:51:19222.127.228.5., http://fvkjfgdjf.cn/consultantjob.html consultant job =)), http://fvkjfgdjf.cn/bernardmalamud.html bernard malamud 36092, http://fvkjfgdjf.cn/circleofdust.html circle of dust cfcen, http://fvkjfgdj622008-03-15 01:34:39StephenTaylorRevert to revision 12.612008-03-14 23:56:30222.127.228.5., http://fvb76w3g.cn/usopentennistickets.html us open tennis tickets 46427, http://fvb76w3g.cn/krisfreeman.html kris freeman 51887, http://fvb76w3g.cn/servicestationequipment.html service station equ602008-03-14 14:16:07StephenTaylorRevert to revision 12.592008-03-14 13:50:36222.127.228.23., http://sgdfui6e8.cn/christianfundraisers.html christian fund raisers olhhka, http://sgdfui6e8.cn/moldingmachines.html molding machines 421, http://sgdfui6e8.cn/manpiss.html man piss hxhep, http://s582008-03-14 11:52:03StephenTaylorRevert to revision 12.572008-03-14 08:45:54121.15.200.148., http://sadpjfpah.cn/laserhair.html laser hair =-)), http://sadpjfpah.cn/drugrecalls.html drug recalls %-PP, http://sadpjfpah.cn/amarrgaragedoor.html amarr garage door %]]], http://sadpjfpah.cn/fuga562008-03-14 06:37:23222.127.228.23., http://potpro.cn/firebirdparts.html firebird parts %((, http://potpro.cn/adobeillustratortutorials.html adobe illustrator tutorials pttzqi, http://potpro.cn/skintight.html skintight wgq, http://pot552008-03-13 23:23:54StephenTaylorRevert to revision 41.542008-03-13 22:19:01222.127.228.23., http://ohhhmygood.cn/herpessymptomspictures.html herpes symptoms pictures 2007, http://ohhhmygood.cn/perrier.html perrier 5401, http://ohhhmygood.cn/caradvertising.html car advertising jafnx, http:532008-03-13 21:51:17StephenTaylorRevert to revision 51.522008-03-13 20:01:1769-217-73-52.ded.ameritech.net., http://nuvotsnovaprobuju.cn/playboygirl.html play boy girl hopu, http://nuvotsnovaprobuju.cn/jamesnaismith.html james naismith hrevx, http://nuvotsnovaprobuju.cn/ringbearergifts.html ring bearer gi512008-03-13 16:31:21StephenTaylorRevert to revision 49.502008-03-13 16:18:13222.127.228.23., http://ergh307y.cn/kansasgovernor.html kansas governor nha, http://ergh307y.cn/charmedpiper.html charmed piper 6510, http://ergh307y.cn/hotbird.html hot bird 914, http://ergh307y.cn/discountpetmedi492008-03-13 13:23:43StephenTaylorRevert to revision 47.482008-03-13 12:35:16220.160.127.221., http://kologod.cn/shootingcum.html shooting cum 647, http://kologod.cn/wbztv.html wbz tv tosrj, http://kologod.cn/staircasesdesign.html staircases design 857858, http://kologod.cn/happytreefriendsg472008-03-13 10:41:31StephenTaylorRevert to revision 45.462008-03-13 10:16:06222.127.228.23., http://egh93w0y.cn/saturdaylyrics.html saturday lyrics 9598, http://egh93w0y.cn/bicyclepartsandaccessories.html bicycle parts and accessories dgkpl, http://egh93w0y.cn/aircraftboneyards.html aircra452008-03-13 04:48:13dsl093-056-003.blt1.dsl.speakeasy.netRevert to version 43.442008-03-13 04:16:1569-217-73-52.ded.ameritech.net., http://dcyu58789.cn/freshwaterturtles.html freshwater turtles %(((, http://dcyu58789.cn/bankofthailand.html bank of thailand 4508, http://dcyu58789.cn/toplessness.html toplessness >:-]]], http://dc432008-03-13 00:19:58StephenTaylorRevert to revision 41.422008-03-13 00:17:1469-217-73-52.ded.ameritech.net., http://jgshdisah.cn/aeawnings.html a e awnings >:-]]], http://jgshdisah.cn/bowlingastrike.html bowling a strike vjyras, http://jgshdisah.cn/earlsrestaurants.html earls restaurants ezabw, http://jgs412008-03-12 22:42:06ClintonEbadiRevert to revision 39.402008-03-12 22:30:52222.127.228.7., http://bauishdgbaoib.cn/rabbittoy.html rabbit toy 7434, http://bauishdgbaoib.cn/fixing.html fixing %DDD, http://bauishdgbaoib.cn/dirtyjokeswithpictures.html dirty jokes with pictures 388901, http:/392008-03-12 21:32:52StephenTaylorRevert to revision 36.382008-03-12 20:36:28222.127.228.8., http://bauiogbaobg.cn/hemifacialspasm.html hemifacial spasm 8452, http://bauiogbaobg.cn/albertaemploymentstandards.html alberta employment standards =-OO, http://bauiogbaobg.cn/theworldiknow.html t372008-03-12 19:40:48222.127.228.8., http://hudinarjiii.cn/heraldtimesbloomington.html herald times bloomington wzmhkq, http://hudinarjiii.cn/firstaidkitsupplies.html first aid kit supplies 0840, http://hudinarjiii.cn/hiphopmix.html h362008-03-12 18:28:27StephenTaylorRevert to revision 12.352008-03-12 18:17:03222.127.228.7., http://bas634.cn/noletemasael.html no le temas a el :DD, http://bas634.cn/escapade2001.html escapade 2001 170, http://bas634.cn/bedmart.html bedmart xjcjl, http://bas634.cn/tiramasu.html tiramasu a342008-03-12 16:37:10StephenTaylorRevert to revision 12.332008-03-12 15:01:46softbank220033204136.bbtec.net322008-03-12 14:14:53218.63.252.219., http://agbshugiabo.cn/skateboardinglogo.html skateboarding logo =], http://agbshugiabo.cn/oceansidehighschool.html oceanside high school qitct, http://agbshugiabo.cn/houseshoes.html house shoes zft312008-03-12 14:13:53220.160.127.221., http://agbshugiabo.cn/skateboardinglogo.html skateboarding logo =], http://agbshugiabo.cn/oceansidehighschool.html oceanside high school qitct, http://agbshugiabo.cn/houseshoes.html house shoes zft302008-03-12 12:33:20panaceq.homedsl.net1.cc., http://highqual.cn/fabricpatterns.html fabric patterns :P, http://highqual.cn/varios.html varios >:-[, http://highqual.cn/freenetgames.html free net games 977, http://highqual.cn/epco.html epco 366292008-03-12 10:52:02StephenTaylorRevert to revision 12.282008-03-12 07:57:50218.63.252.219., http://hgiwpiufhl.cn/giftsformotherofthebride.html gifts for mother of the bride jqp, http://hgiwpiufhl.cn/mapoflosangelescounty.html map of los angeles county qzvtnr, http://hgiwpiufhl.cn/palabras272008-03-12 05:31:03RyanMikulovskyRevert to revision 12.262008-03-12 00:46:32222.127.228.8., http://herityr.cn/combined.html combined 8(((, http://herityr.cn/dressupanime.html dress up anime hfg, http://herityr.cn/amywesson.html amy wesson amspuk, http://herityr.cn/listofdeathmetalbands.ht252008-03-11 22:39:20StephenTaylorRevert to revision 12.242008-03-11 22:33:01StephenTaylorRevert to revision 22.232008-03-11 22:18:45200.21.103.16., http://hellomynewdom.cn/businesstelephoneservice.html business telephone service 82152, http://hellomynewdom.cn/discoverychannelkids.html discovery channel kids hgrps, http://hellomynewdom.cn/fixed222008-03-11 21:22:58StephenTaylorRevert to revision 20.212008-03-11 18:48:38218.63.252.219., http://hellodomination.cn/livetvonlinefree.html live tv online free seppn, http://hellodomination.cn/laurawright.html laura wright 589, http://hellodomination.cn/ghostwebsites.html ghost websites 0202008-03-11 14:55:09222.127.228.5., http://hasoiw.cn/hatcheries.html hatcheries qel, http://hasoiw.cn/ponyparty.html pony party bjb, http://hasoiw.cn/wholesalebodyoils.html wholesale body oils >:]], http://hasoiw.cn/howtoupholster.ht192008-03-11 07:55:4269-217-73-52.ded.ameritech.net., http://gogogojn.cn/fauxrolex.html faux rolex %(((, http://gogogojn.cn/arabicradio.html arabic radio vnjnkr, http://gogogojn.cn/molotovcocktail.html molotov cocktail %-[, http://gogogojn.cn/arizonah182008-03-11 05:58:44217.141.251.202., http://gbsafg.cn/alaskamls.html alaska mls raikpy, http://gbsafg.cn/heartagramtattoo.html heartagram tattoo pywxl, http://gbsafg.cn/rockmonddunbar.html rockmond dunbar 8-[, http://gbsafg.cn/bluecro172008-03-11 01:26:46222.127.228.6., http://fpbaspifpia.cn/cosmeticlasersurgery.html cosmetic laser surgery 303, http://fpbaspifpia.cn/ideasforshortstories.html ideas for short stories 050185, http://fpbaspifpia.cn/mapoffloridapanhand162008-03-10 23:26:47ce-ca1-1-primary.opb.interbusiness.it., http://fasfavvfasda.cn/arrestwarrantsearchforfree.html arrest warrant search for free ngk, http://fasfavvfasda.cn/gustavmahler.html gustav mahler 8-[, http://fasfavvfasda.cn/demfranchizeboyzleanwit152008-03-10 12:05:31ce-bg1-1-primary.opb.interbusiness.it., http://absuid6wds.cn/lsuwomensbasketball.html lsu womens basketball 423, http://absuid6wds.cn/picturesofclownfish.html pictures of clown fish 24786, http://absuid6wds.cn/noterdame.html noter dame 7142008-02-19 17:09:22StephenTaylorRevert to revision 12.132008-02-19 14:21:5280.227.1.101rdqfcq <a href="http://bwrwhashnlmh.com/">bwrwhashnlmh</a>, [url=http://imftzjrgbxkl.com/]imftzjrgbxkl[/url], [link=http://uidbyutuctjx.com/]uidbyutuctjx[/link], http://jyzbkxlpowin.com/122007-12-16 20:34:09AdamChlipalaWrong [if] syntax112007-12-16 20:28:25AdamChlipalaif..then..else102007-11-13 02:03:44RyanMikulovskyuse InterWiki link instead.92007-10-27 18:30:46AdamChlipalaFix section nesting82006-12-17 21:00:06AdamChlipalaFix nested abstraction function calls72006-12-17 18:09:26AdamChlipalaSource files62006-12-17 18:02:26AdamChlipalaExtern types; declarations52006-12-17 17:45:58AdamChlipalaNested action functions42006-12-17 17:36:57AdamChlipalaEffect table32006-12-17 17:18:17AdamChlipalaExpressions22006-12-17 16:59:10AdamChlipalaTypes12006-12-17 16:47:06AdamChlipalaThis page gives an in-depth specification of the DomTool language. Most members would probably prefer the more informal presentation in DomTool/UserGuide. Source codeFor a complete, precise, and accurate grammatical specification, see the lexer and parser specifications src/domtool.lex
and src/domtool.grm
in the DomTool source code. See src/tycheck.sml
for the type-checker implementation. DomTool/Building has information on obtaining the source. Token conventionsIn the grammars that follow, we use these lexical token class names: Name Description
Int
Integer constant
String
String constant (enclosed in double quotes)
Symbol
Identifier starting with a lowercase letter
CSymbol
Identifier starting with a capital letter
PredicatesDomTool uses predicates to describe in what contexts an action may occur. For instance, web-related actions should only occur inside the scope of a virtual host directive. Predicates are built up following the grammar in the table below, using the letter P
as the non-terminal for predicates. Meanings are given as statements that must hold about the context where an action is found. The context is represented as a stack of context IDs which have been declared with context
declarations. Syntax Description Meaning
Root
Root The stack is empty.
CSymbol
Context ID CSymbol
is on the top of the stack.
^P
Suffixes Some (not necessarily strict) suffix of the stack matches P
.
!P
Not The stack doesn't match P
.
P1 & P2
And The stack matches both P1
and P2
.
(P)
Grouping Identical to P
TypesTypes describe expressions. As is standard in statically-typed programming languages, they are used only for validation purposes and have no real effect on the "output" of a program. The following table gives the grammar of types T
. The section on expressions will give the meanings of types in terms of which expressions have which types. Syntax Description
Symbol
Extern type
[T]
List of T
s
T1 -> T2
Function from T1
to T2
[P]
Action allowed only when P
is satisified; requires no environment variables on input and writes none of its own
[P] {CSymbol1 : T1, ..., CSymbolN : TN}
Action that requires environment variables CSymbol1
, ..., CSymbolN
to have the given types when run
[P] {CSymbol1_1 : T1_1, ..., CSymbol1_N : T1_N} => {CSymbol2_1 : T2_1, ..., CSymbol2_M : T2_M}
Like the last case, but the second set of typed environment variables describes what the action will write
P => T
A nested action that requires that its nested configuration satisfy P
; T
should be some action type
(T)
Grouping
ExpressionsHere is the grammar of expressions E
. As is standard in ML-family languages and Haskell, juxtaposition is used to represent function application, with application associating to the left. Syntax Description Typing
Int
Integer constant G |- Int : int
String
String constant G |- String : string
[E1, ..., EN]
List If G |- Ei : T
for each Ei
, then G |- [E1, ..., EN] : [T]
.
Symbol
Variable G1, Symbol : T, G2 |- Symbol : T
.
E1 E2
Application If G |- E1 : T1 -> T2
and G |- E2 : T1
, then G |- E1 E2 : T2
.
\ Symbol -> E
Abstraction (inferred domain type) If G, Symbol : T1 |- E : T2
, then G |- \ Symbol -> E : T1 -> T2
.
\ Symbol : (T1) -> E
Abstraction (explicit domain type) If G, Symbol : T1 |- E : T2
, then G |- \ Symbol : (T1) -> E : T1 -> T2
.
CSymbol = E
Environment variable set See subsection on actions
Symbol <- CSymbol; E
Environment variable get See subsection on actions
E1; E2
Sequencing See subsection on actions
E1 where E2 end
Local bindings See subsection on actions
let E1 in E2 end
Local bindings See subsection on actions
E1 with E2 end
Nested action See subsection on actions
E1 with end
Empty nested action See subsection on actions
E1 where E2 with E3 end
Nested action with local bindings See subsection on actions
E1 where E2 with end
Empty nested action with local bindings See subsection on actions
\\ Symbol : P -> E
Nested action abstraction See subsection on actions
(E)
Grouping Same as E
if E then E1 else E2 end
Conditional G |- E : bool
; G |- E1 : T1
; G |- E2 : T2
; T1
is a subtype of T2
or vice-versa
ActionsThe DomTool language is purely functional. Like Haskell, it uses a monad to inject effectful operations into its pure core. For DomTool, this is the action monad. This monad merges two potentially separate features that tend to occur together. First, actions are used to run code that will affect the outside world and lead to changes in the configuration of real daemons. Primitive actions like domain
and vhost
are the building-blocks here. They are defined by plugins. The other action forms in the table above are there just to allow the proper composition and sequencing of applications of primitive actions, which do the real work. See DomTool/Implementation for how the code to run for a particular primitive action is registered with the implementation. Second, the action monad provides the functionality of environment variables. These are similar to UNIX environment variables, but DomTool maintains its own environment where each variable has a static type. The rationale for including environment variables in the language is that, while many actions are highly configurable, you usually only want to tweak a few of their options at a time. DomTool allows an ambient environment of default variable settings, and it provides language constructs for modifying certain variables both globally and locally. Effects of the action expressions on the environment Syntax Effect
CSymbol = E
Environment variable CSymbol
is set to the value of E
, with E
's type.
Symbol <- CSymbol; E
Environment variable CSymbol
is read into normal variable Symbol
, which inherits its type/value.
E1; E2
The effect of E1
followed by the effect of E2
E1 where E2 end
The effect of E2
followed by E1
, afterward erasing any environment variable alterations by E2
let E1 in E2 end
Same as E2 where E1 end
E1 with E2 end
The effect of E1
followed by E2
E1 with end
Same as E1
E1 where E2 with E3 end
The effect of E2
followed by E1
followed by E3
, afterward erasing any environment variable alterations by E2
E1 where E2 with end
The effect of E2
followed by E1
, afterward erasing any environment variable alterations by E2
\\ Symbol : P -> E
No effect until called
E1 with E2 end
, when E1
is a nested abstraction function The effect of E1
followed by E2
followed by the effect of the action obtained by substituting the value of E2
in the body of the abstraction to which E1
evaluates.
Nested action functionsSometimes it is convenient to be able to write new nested actions that call primitive nested actions as subroutines. For instance, the dom helper function uses domain as a subroutine. Standard functions aren't good enough for these purposes, since they don't allow us to take into account the different environment effects that different nested action arguments might have. The nested function type P => T
is the solution to this problem. You can define a nested action function with the \\ Symbol : P -> E
form. Such a function has type P => T
when assuming that Symbol
has type [P]
implies that E
has type T
. Any call to this function will be typed taking into account that we play the argument action's effect before playing the effect of the function's body. Extern typesExtern types (which are also used to implement "primitive types" like int
and string
) have something of the flavor of dependent types or refinement types. Registering appropriate handlers from a plugin can create an extern type whose values are controlled by an arbitrary predicate. Plugin implementers are supposed to maintain the invariant that the predicate controlling an extern type is never observably inconsistent in the course of a single type-checking session. That is, it never once declares a value to belong to type T
and also declares it not to belong to T
in the same type-checker invocation. A good example is the your_domain type, which consists of those strings naming domains that the current user is allowed to configure. Within a single type-checking, the user remains constant, and so your_domain
's predicate returns consistent decisions. On the other hand, across different sessions by different users, the predicate will of course make different decisions. This approach allows extern types to be used for flexible type-level enforcement of security policies. It would be a pain for users to have to mark exactly which extern type a certain expression is meant to belong to. Instead, the DomTool language implementation uses slightly non-compositional type-checking to make use of rich extern types more convenient. By "non-compositional", I mean that the value of an expression, not just its type, may matter in type-checking a larger expression that it is found within. This non-compositionality is only used to infer when a value was given a base type like string
when it really ought to have been given some rich extern type. For instance, when a function is called that expects an argument of type your_domain
, the argument is first type-checked. If its inferred type is your_domain
, then all is well. If not, then we try again, passing the actual argument expression to your_domain
's controlling predicate. Only if that predicate also rejects the expression do we signal a type error. No simplifications are performed on an expression before checking its form; for instance, a global variable's definition won't be unfolded to check if the value satisfies a required predicate. DeclarationsDeclarations D
add new symbols to the typing environment. Syntax Description Effect on typing environment
extern type Symbol
Extern type Register Symbol
as a new extern type that is either defined in a plugin or treated purely syntactically.
extern val Symbol : T
Extern value Register Symbol
as a new variable that is either defined in a plugin or treated purely syntactically.
val Symbol = E
Expression synonym Define Symbol
as an abbreviation for E
; a specific type for the binding is inferred and used at future occurrences.
val Symbol : T = E
Expression synonym Define Symbol
as an abbreviation for E
of type T
.
context CSymbol
Context ID Declare a new context ID CSymbol
.
Source filesA source file is an optional documentation string, followed by a sequence of semicolon-terminated declarations with optional trailing documentation strings, followed by an optional expression. A documentation string is any text between {{
and }}
delimiters and may contain HTML. Documentation strings are used in automatic HTML documentation generation. A documentation string that starts a file is used to describe that file in the module index, and it's also included at the start of that file's page. A documentation string after a declaration is used to describe it in the detail section of its file's page. The standard library documentation shows an example output.