Vignettes of package Devore7

Devore7.pdf:

Using the Devore7 package