:- comment(version(0*6+13,2003/03/01,16:23*59+'CET'),
   "../xdvipresent.pl").

:- comment(version(0*6+12,1999/11/11,12:31*46+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+11,1999/09/29,12:25*19+'MEST'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+10,1999/09/28,11:52*28+'MEST'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+9,1999/09/28,10:57*50+'MEST'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+8,1999/04/28,13:49*20+'MEST'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+7,1999/02/19,08:59*42+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+6,1999/02/15,19:38*41+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+5,1999/02/15,18:40*30+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+4,1999/02/15,17:15*18+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+3,1999/02/15,17:14*16+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+2,1998/11/18,10:50*22+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+1,1998/11/06,18:56*46+'MET'),
   "/home/clip/Systems/xdvipresent/xdvipresent.pl").

:- comment(version(0*6+0,1998/08/13,18:14*45+'MET DST'),
   "/home/clip/Systems/xdvipresent-0.5/xdvipresent.pl").

%% Local Variables: 
%% mode: CIAO
%% update-version-comments: "off"
%% End:

