../ vignette.R 24-Oct-2023 20:48 4832 vignette.Rmd 24-Oct-2023 18:23 20303 vignette.html 24-Oct-2023 20:48 2148987 vignette_tex.R 24-Oct-2023 20:49 4594 vignette_tex.Rnw 24-Oct-2023 18:23 22025 vignette_tex.pdf 24-Oct-2023 20:49 1308449