Matthew Flatt 378d6ee9c9 scribble/base: handle special characters in URLs ... For characters in the URL that give LaTeX trouble, convert them to % encoding. original commit: 967021ca6305dc70488a277c90bed0bb4d6b3e02		2013-05-16 11:04:23 -06:00
..
help	Revise commented code so it can replace exiting code without dependency issues.	2012-01-26 13:20:26 -05:00
scribble	scribble/base: handle special characters in URLs	2013-05-16 11:04:23 -06:00
scribblings/scribble	move the slideshow/pict library to its own collection	2013-05-12 22:07:58 -05:00
scriblib	scriblib/footnote: fix for non-Latex output	2013-03-29 07:23:49 -06:00
tests	scribble/manual: make `defmodule' more flexible	2013-04-30 09:36:48 -06:00