Matthew Flatt 7889e768c8 scribble/sigplan: fix problem that makes doi required ... Closes PR 14311 original commit: af28d4175d07113b3ba788fd03a6c5df9f384508		2014-02-04 17:59:26 -07:00
..
scribble	2013 -> 2014	2014-01-21 15:02:21 -05:00
scribble-doc	scribble: ++args for passing command-line arguments to documents	2014-01-22 20:04:13 -07:00
scribble-lib	scribble/sigplan: fix problem that makes doi required	2014-02-04 17:59:26 -07:00
scribble-test	2013 -> 2014	2014-01-21 15:02:21 -05:00
scribble-text-lib	2013 -> 2014	2014-01-21 15:02:21 -05:00