Fix all warnings in testing/
[packages/hoopl.git] / paper /
2013-09-10  Jan StolarekRemoved a broken symlink
2010-07-30  Norman RamseyMerge branch 'three-eight' of /home/nr/papers/simon...
2010-07-30  Norman Ramseyclean up the typesetting in the appendices
2010-07-30  Norman Ramseypreprint version
2010-07-30  Norman RamseyText version of references as given to Sheridan.
2010-07-30  Norman RamseyBuild PS file without appendix.
2010-07-30  Norman RamseyRealized that classifications could be condensed, conde...
2010-07-30  Norman Ramseyadded fixpoint in an appendix (for web version only)
2010-07-29  Norman RamseyCorrected a handful of errors and made a couple dozen...
2010-07-29  Norman Ramseycamera-ready formatting
2010-07-29  Norman Ramseyfinal spell check
2010-07-29  Norman Ramseyfinal page-breaking and cross-reference
2010-07-29  Norman Ramseyfinal revision of discussion section
2010-07-29  Norman Ramseyremove noise from bibliography
2010-07-29  Norman Ramseyignore new derived file block.tex
2010-07-29  Norman Ramseyvery delicate page breaks, good through page 13 at...
2010-07-29  Norman Ramseydo def/use analysis on \smallfuzzverbatiminput stuff
2010-07-29  Norman Ramseyget implementation of 'block' from the code
2010-07-29  Norman Ramseywordsmithing
2010-07-29  Norman Ramseywordsmithing
2010-07-29  Norman RamseyTinkering with language on page 6 to avoid a ghastly...
2010-07-29  Norman Ramseyfixing language in Section 4, but now wrestling with...
2010-07-29  Norman Ramseywordsmithing, plus nice page breaks through page 3...
2010-07-28  Norman Ramsey"shape" was defined before use. that's fixed.
2010-07-28  Norman Ramseyrighteous page-break fu
2010-07-28  Norman RamseyWording in sections 2 and 3, with attention on a couple...
2010-07-28  Norman Ramseytightening and formatting on page 1
2010-07-28  Norman RamseyLink to full version of entire paper, not to supplement.
2010-07-27  Norman Ramseywork with JOhn on discussion section and a few marginalia
2010-07-27  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-27  Norman Ramseycategories, subject descriptors, messing with formattin...
2010-07-27  Joao DiasComments proposing slash and burn in Discussion
2010-07-27  Joao Diaswibble
2010-07-27  Joao DiasHolding the reader's hand a little more through the...
2010-07-27  Joao DiasWibbles on last night's commits
2010-07-27  Norman Ramseyfiddled some with figures and page breaks
2010-07-27  Norman Ramseymassaged the performance section to make it clear that...
2010-07-27  Norman RamseyExpunged FwdGraphAndTail from paper, and with it the...
2010-07-27  Norman RamseyStriving for a little more consistency in the presentat...
2010-07-27  Norman Ramseyremoved obsolete marginalia
2010-07-27  Norman Ramseymore type signatures; careful treatment of FactBAse
2010-07-27  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-27  Norman Ramseyignore new derived file cat.tex
2010-07-27  Norman Ramseycommit reviews
2010-07-27  Norman Ramseyfix malformed type in rewrite example in paper
2010-07-27  Norman RamseySmall Rew module in which we tested rewriting with...
2010-07-27  Norman RamseyPull the type signature and implementation of 'cat...
2010-07-27  Norman RamseyExotic uses of fuel are possible without changing the...
2010-07-27  Norman Ramseytag new defined identifiers
2010-07-27  Norman Ramseycut the paragraph on unique representation
2010-07-27  Norman RamseyReplaced \ifcutting with \ifnotcutting
2010-07-27  Norman RamseyMerged the section on edges with the section on NonLocal
2010-07-27  Norman Ramseyextend API figure to include LabelMap, addBlock, blockUnion
2010-07-27  Norman Ramseyfix title banner with easy on/off
2010-07-26  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-07-26  Joao DiasWibbles.
2010-07-26  Norman Ramseyquick cut at rewriting
2010-07-26  Norman Ramseyimplemented some \simon things
2010-07-26  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-26  Norman Ramseynotes from call with SImon
2010-07-26  unknownPara from Simon in Section 8 about handing off fuel...
2010-07-26  Norman Ramseyfor comparison, a full monadic version of rewrite
2010-07-26  Norman Ramseythe success continuation could be nicer
2010-07-26  Norman RamseyFormal explanation of rewriting via CPS sketch (typechecks)
2010-07-26  Norman Ramseyrolled back 3 or 4 of Simon's edits, and cleaned up...
2010-07-26  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-26  Norman RamseyFix PDF title
2010-07-26  Simon Peyton JonesSmall edits from Simon, adding many \simon notes
2010-07-24  Norman Ramseyrepaired all LaTeX warnings except on page 15 (the...
2010-07-24  Norman Ramseyeliminated all remaining undefined identifiers
2010-07-24  Norman Ramseywibble
2010-07-24  Norman RamseyTided sections 5, 6, and 7
2010-07-24  Norman RamseyIMPORTANT: explanation of rewriting without appeal...
2010-07-24  Norman RamseyBetter, more consistent examples of why the client...
2010-07-24  Norman RamseyCorrect (wrong) description of initial facts for consta...
2010-07-24  Norman Ramseybad parentheses! no biscuit!
2010-07-24  Norman Ramseybetter(?) explanation of the CkpointMonad constraint...
2010-07-24  Norman Ramseyadjusted placement of figures and tables; minor edits...
2010-07-23  Norman Ramseyalign result types in definition of Node (FIgure 1)
2010-07-23  Norman RamseyPage 2 edits: tightening, typesetting cleanup.
2010-07-23  Norman RamseyPage 1 edits: tightening, consistent word choice, verbs.
2010-07-23  Norman RamseyMerge branch 'three-eight' of linux.cs.tufts.edu:/r...
2010-07-23  Norman Ramseyneed to ignore new derived file node.tex
2010-07-23  Norman Ramseyyet another leftover commit from the introduction of...
2010-07-23  Norman Ramseymore maundering for the discussion section
2010-07-23  Norman Ramseystarting to tighten up discussion of the client monad
2010-07-23  Norman Ramseywordsmithing
2010-07-23  Norman Ramseya piece of 'joinMaps' that I missed on an earlier commit
2010-07-23  Norman Ramseyextract 'node' and 'ShapeLifter' from the real code
2010-07-23  Norman Ramseymigrate 'stdMapJoin' into Hoopl as 'joinMaps'
2010-07-23  Joao DiasMerge branch 'three-eight' of linux:/r/c--/papers/dfopt...
2010-07-23  Joao DiasInverting the fuel-throttling section to explain the...
2010-07-23  Norman Ramseywould like long URL but it pushes to 14 pages (for...
2010-07-23  Norman Ramseylooking at undefined IDs -- found some nasty bugs in...
2010-07-23  Norman Ramseylink to the index
2010-07-23  Norman Ramseyfix dangling cross-references
2010-07-23  Norman Ramseywibbles
2010-07-23  Norman Ramseythe referees are always right
2010-07-23  Norman Ramseyimproved and extended discussion section
2010-07-23  Joao DiasExpunging "reviewer C" for a sin of omission: not sitti...
next