]> matita.cs.unibo.it Git - helm.git/history - helm/minidom
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Flattening application contexts uncorrectly changed the proof ids.
[helm.git] / helm / minidom /
2002-03-30 Luca Padovanipreparing for 0.1.4 tree | commitdiff
2002-03-30 Luca Padovaniadded libxml/ in #includes (see libxml2 ChangeLog) tree | commitdiff
2002-03-30 Luca Padovanierror in check for xml2-config tree | commitdiff
2001-11-25 Stefano ZacchiroliReadme for the debianize.helm stuff. tree | commitdiff
2001-11-25 Stefano ZacchiroliDebianize.helm stuff. tree | commitdiff
2001-11-25 Stefano ZacchiroliRemoved from debian dir. tree | commitdiff
2001-11-25 Stefano ZacchiroliSynced debian dir. tree | commitdiff
2001-11-23 Luca Padovaniadded config.sub and config.guess so that the package... tree | commitdiff
2001-11-10 Luca Padovani- added method to check for an attribute in a given... tree | commitdiff
2001-05-06 Luca Padovaniminidom.c : fixed memory leak tree | commitdiff
2001-03-01 Luca Padovanipatch for libxml2 new release tree | commitdiff
2001-02-15 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-15 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-15 Luca Padovani*** empty log message *** tree | commitdiff
2001-02-15 Luca Padovania bug in the .spec.in :-)))) tree | commitdiff
2001-02-15 Luca Padovaninew version to upgrade to libxml 2.3.0 tree | commitdiff
2001-01-24 Stefano ZacchiroliAdded debian dir for debian packaging tree | commitdiff
2001-01-22 Luca PadovaniRemoved Files: tree | commitdiff
2001-01-22 Luca PadovaniRemoved Files: tree | commitdiff
2000-12-20 Luca PadovaniModified Files: tree | commitdiff
2000-12-15 Luca Padovaniminidom-0.1.0-plain-1.spec: package linked without... tree | commitdiff
2000-11-20 Luca PadovaniInitial revision tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.