(* ::Package:: *)

(************************************************************************)
(* This file was generated automatically by the Mathematica front end.  *)
(* It contains Initialization cells from a Notebook file, which         *)
(* typically will have the same name as this file except ending in      *)
(* ".nb" instead of ".m".                                               *)
(*                                                                      *)
(* This file is intended to be loaded into the Mathematica kernel using *)
(* the package loading commands Get or Needs.  Doing so is equivalent   *)
(* to using the Evaluate Initialization Cells menu command in the front *)
(* end.                                                                 *)
(*                                                                      *)
(* DO NOT EDIT THIS FILE.  This entire file is regenerated              *)
(* automatically each time the parent Notebook file is saved in the     *)
(* Mathematica front end.  Any changes you make to this file will be    *)
(* overwritten.                                                         *)
(************************************************************************)



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


(* ::Input::Initialization:: *)
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"]
)


(* ::Input::Initialization:: *)
End[]; EndPackage[];
