]> matita.cs.unibo.it Git - helm.git/history - helm/helmpot
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
added .theory check
[helm.git] / helm / helmpot /
2003-06-25 Stefano Zacchiroliforward ported to use pkg-config tree | commitdiff
2002-05-14 Stefano ZacchiroliErroniously included (is a debian build process temp... tree | commitdiff
2002-05-14 Stefano ZacchiroliRelease 0.1.0-1 of the deb package. tree | commitdiff
2002-02-05 Luca Padovaniporting to gdome2 started tree | commitdiff
2001-11-14 Stefano ZacchiroliBug fix: changed "prefix" dir in install target. tree | commitdiff
2001-11-14 Stefano ZacchiroliChanged policy standard version. tree | commitdiff
2001-11-14 Stefano ZacchiroliRemoved INSTALL (not needed) and NEWS (0 sized) from... tree | commitdiff
2001-11-14 Stefano ZacchiroliRemove template like string that lintian hates. tree | commitdiff
2001-11-14 Stefano ZacchiroliSet DH_COMPAT=2 (instead of 1). tree | commitdiff
2001-11-14 Stefano ZacchiroliSet section field. Changed maintainer field. tree | commitdiff
2001-11-14 Stefano ZacchiroliChanged maintainer field and set section field. tree | commitdiff
2001-11-14 Stefano ZacchiroliRemoved temp files from repository. tree | commitdiff
2001-11-12 Luca Padovanianother small bug fixed about the pot tree | commitdiff
2001-11-10 Luca Padovanibinary ignored tree | commitdiff
2001-11-10 Luca Padovani.deps ignored tree | commitdiff
2001-11-10 Luca Padovani- new handling of links tree | commitdiff
2001-10-05 Claudio Sacerdoti... Debian packaging of helmpot-0.0.3 tree | commitdiff
2001-08-29 Luca Padovanibug fix (helm selection) and new version (sigh) tree | commitdiff
2001-08-27 Claudio Sacerdoti... Upgrade to 0.0.2 tree | commitdiff
2001-08-22 Luca Padovaniconfigure.in : new version tree | commitdiff
2001-07-17 Luca Padovaniadded preliminary support for maction tree | commitdiff
2001-04-12 Luca PadovaniInitial revision tree | commitdiff
2001-04-12 Luca PadovaniSome adjustments in the licenses tree | commitdiff
2001-04-12 Luca PadovaniInitial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.