2 #------------------------------------------------------------------------------
3 # $File: polyml,v 1.1 2016/02/26 15:52:45 christos Exp $
4 # polyml: file(1) magic for PolyML
7 # MPEG, FLI, DL originally from vax@ccwf.cc.utexas.edu (VaX#n8)
8 # FLC, SGI, Apple originally from Daniel Quinlan (quinlan@yggdrasil.com)
10 # [0]: http://www.polyml.org/
11 # [1]: https://github.com/polyml/polyml/blob/master/\
12 # libpolyml/savestate.cpp#L146-L147
13 # [2]: https://github.com/polyml/polyml/blob/master/\
14 # libpolyml/savestate.cpp#L1262-L1263
16 # Type: Poly/ML saved data
17 # From: Matthew Fernandez <matthew.fernandez@gmail.com>
19 0 string POLYSAVE Poly/ML saved state
22 0 string POLYMODU Poly/ML saved module