shell command pg -pgf writes current pgf into a file

This commit is contained in:
aarne
2010-12-07 16:05:37 +00:00
parent b0cafee950
commit a27dd5fef4
2 changed files with 4 additions and 1 deletions

View File

@@ -1,4 +1,4 @@
module GFC (mainGFC) where
module GFC (mainGFC, writePGF) where
-- module Main where
import PGF