]> matita.cs.unibo.it Git - helm.git/blob - Makefile
projects / helm.git / blob
? search:


fb2792fc5489a22872058eb31525c6de1d30417e
[helm.git] / Makefile
1 all:
2                 latex t
3                 latex t
4                 latex t
5                 dvips -ta4 t
Unnamed repository; edit this file 'description' to name the repository.