]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c55c7d0) | patch
added multiple invocations of latex
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 May 2003 11:04:31 +0000 (11:04 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 23 May 2003 11:04:31 +0000 (11:04 +0000)
commitc082a000b887ba1409658f23451416b8b9837ad8
tree69276fdcf2144740e35b003c3e33d87949411c7ctree | snapshot
parentc55c7d0677197ce2551302e132a3b8dc193e9f09commit | diff
added multiple invocations of latex
helm/papers/calculemus-2003/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.