isabelle: File revisions

doc-src/Intro/Makefile

2011-05-02	wenzelm	eliminated old CVS Ids;	file \| diff \| annotate
2000-08-28	wenzelm	proper setup of iman.sty/extra.sty/ttbox.sty;	file \| diff \| annotate
2000-05-08	wenzelm	improved indexing;	file \| diff \| annotate
1999-05-18	paulson	../manual.bib a new dependency	file \| diff \| annotate
1999-05-10	wenzelm	tuned;	file \| diff \| annotate
1999-05-10	wenzelm	pdf setup;	file \| diff \| annotate
1999-05-07	wenzelm	replaced png by pdf;	file \| diff \| annotate
1999-05-06	wenzelm	pdf setup;	file \| diff \| annotate
1999-05-05	wenzelm	improved Makefile;	file \| diff \| annotate
1998-09-24	oheimb	workaround for litte bug in our ln command	file \| diff \| annotate
1998-08-26	wenzelm	moved images to gfx dir;	file \| diff \| annotate
1998-07-21	wenzelm	fixed isabelle logo;	file \| diff \| annotate
1997-05-12	wenzelm	added 'clean';	file \| diff \| annotate
1997-05-02	berghofe	Updated to LaTeX 2e	file \| diff \| annotate
1997-02-20	wenzelm	added dist;	file \| diff \| annotate
1997-02-20	wenzelm	made a bit more robust;	file \| diff \| annotate
1995-04-14	lcp	Removes (obsolete) target if already present.	file \| diff \| annotate
1994-09-12	lcp	New Makefile for Introduction	file \| diff \| annotate

isabelle