Pensieve header: Make the snip files in VSnips/.

MakeVSnips[];

Prolog

SetDirectory["C:\\drorbn\\AcademicPensieve\\Projects\\PPSA"];
BeginPackage["VSnips`", {"CellExport`"}];
MakeVSnips;
Begin["`private`"];
SetOptions[$FrontEndSession,PrintingStyleEnvironment->"Working"];

Verification Snips

MakeVSnips[] := (
If[Head[$FrontEnd]===FrontEndObject,
SetOptions[CellExport, ExportFormat -> ".pdf", Split -> True, PageWidth -> 7.2, ExportOptions -> {ImageSize->Scaled[0.75]}],
SetOptions[CellExport, ExportFormat -> ".pdf", Split -> True, PageWidth -> 7.2]
];
SourceNotebook = Get["Verification.nb"];
DialogTags={};
tags=Cases[SourceNotebook, (CellTags->tag_) :> tag, Infinity ] // Union;
files=Flatten[Table[
Which[
tag=="817", { (* this is only left here as a demo for how to make an exception *)
CellExport[SourceNotebook, "817", {CellFilter -> First, ExportBaseFilename -> "VSnips/817-In"}],
CellExport[SourceNotebook, "817", {CellFilter -> Rest, ExportBaseFilename -> "VSnips/817-Out", PageWidth -> 5.5*0.24/0.16}]
},
MemberQ[DialogTags, tag], {
CellExport[SourceNotebook, tag, {CellFilter -> First, ExportBaseFilename -> "VSnips/"<>tag<>"-In"}],
CellExport[SourceNotebook, tag, {CellFilter -> Rest, ExportBaseFilename -> "VSnips/"<>tag<>"-Out"}]
},
True, CellExport[SourceNotebook, tag, ExportBaseFilename -> "VSnips/"<>tag]
],
{tag, tags}]];
PutAppend[DateString[], "VSnips/Verification.txt"]
)

Epilog

End[]; EndPackage[];