James Somers

I'm also interested in this—or just in knowing where Clipy stores the history data.

Thanks @rizo for putting together this design. It jibes with what I've been thinking about, though I think there is one key difference. > Should odoc require code block annotations...

@dbuenzli > > There shouldn't be any need to add line number directives -- the tool should figure out where in the mli file this code lives, and should be...