diff options
Diffstat (limited to 'Master/texmf-dist/doc/context/third/pgfplots/pgfplotsexample-context.tuc')
-rw-r--r-- | Master/texmf-dist/doc/context/third/pgfplots/pgfplotsexample-context.tuc | 21 |
1 files changed, 10 insertions, 11 deletions
diff --git a/Master/texmf-dist/doc/context/third/pgfplots/pgfplotsexample-context.tuc b/Master/texmf-dist/doc/context/third/pgfplots/pgfplotsexample-context.tuc index dc35d5f87c6..d0842bd9086 100644 --- a/Master/texmf-dist/doc/context/third/pgfplots/pgfplotsexample-context.tuc +++ b/Master/texmf-dist/doc/context/third/pgfplots/pgfplotsexample-context.tuc @@ -2,10 +2,10 @@ local utilitydata = { } utilitydata.comment={ ["escape"]="[===[ ... ]===]", - ["file"]="pgfplotsexample-context", + ["file"]="tex.jobname", ["format"]="cont-en", - ["stamp"]="2014.05.21 22:04", - ["version"]=1.25, + ["stamp"]="2015.04.18 14:41", + ["version"]=1.29, } if not utilitydata.job then utilitydata.job = { } end @@ -18,7 +18,7 @@ if not utilitydata.job then utilitydata.job = { } end if not utilitydata.job.variables then utilitydata.job.variables = { } end utilitydata.job.variables.collected={ - ["randomseed"]=0.044282636625824, + ["randomseed"]=0.52511715866864, } if not utilitydata.job then utilitydata.job = { } end @@ -48,6 +48,12 @@ utilitydata.job.structure.collected={ ["type"]="text", } +if not utilitydata.job then utilitydata.job = { } end +if not utilitydata.job.positions then utilitydata.job.positions = { } end + +utilitydata.job.positions.collected={ +} + if not utilitydata.structures then utilitydata.structures = { } end if not utilitydata.structures.specials then utilitydata.structures.specials = { } end @@ -121,7 +127,6 @@ utilitydata.structures.pages.collected={ ["numberdata"]=1, ["prefixdata"]=2, ["state"]="start", - ["viewerprefix"]="", }, } @@ -138,12 +143,6 @@ utilitydata.structures.references.referred={ } if not utilitydata.job then utilitydata.job = { } end -if not utilitydata.job.positions then utilitydata.job.positions = { } end - -utilitydata.job.positions.collected={ -} - -if not utilitydata.job then utilitydata.job = { } end if not utilitydata.job.objects then utilitydata.job.objects = { } end utilitydata.job.objects.collected={ |