]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfc6fcc) | patch
replaced with my generic latex makefile
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Sep 2003 08:51:56 +0000 (08:51 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 5 Sep 2003 08:51:56 +0000 (08:51 +0000)
commitedf601b6b8eb5b28a5292d0660a3b54b5680e580
tree109f60267b5616ffb6303dbd093dbec6564c4a13tree | snapshot
parentdfc6fcc590d5c0277107616b366284c0152aa698commit | diff
replaced with my generic latex makefile
helm/papers/calculemus-2003/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.