]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fde1a6d) | patch
First version of hxsp (new version of UWOBO implemented in Perl by
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 22 Jul 2002 17:34:34 +0000 (17:34 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 22 Jul 2002 17:34:34 +0000 (17:34 +0000)
commit6fa39011a07aaaf20b99929965ba93df8a81cdbb
tree040f5628680a139aa5616a03784d5dbb3c3bef61tree | snapshot
parentfde1a6daa3aaa72c5c7536f4d2c65a3873b1c1bccommit | diff
First version of hxsp (new version of UWOBO implemented in Perl by
Alessandro Barzanti using the bindings to libxml and libxslt).
20 files changed:
helm/hxsp/config [new file with mode: 0644] blob
helm/hxsp/hxsp.pl [new file with mode: 0644] blob
helm/hxsp/make.pl [new file with mode: 0644] blob
helm/hxsp/msg/error.en [new file with mode: 0644] blob
helm/hxsp/msg/error.it [new file with mode: 0644] blob
helm/hxsp/msg/message.en [new file with mode: 0644] blob
helm/hxsp/msg/message.it [new file with mode: 0644] blob
helm/hxsp/splitted/0.init.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/1.globvars.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/2.start.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/3.daemon.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/4.hash.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/5.libxslt.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/6.commands.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/7.qsparse.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/8.strrep.p.pl [new file with mode: 0644] blob
helm/hxsp/splitted/9.load.p.pl [new file with mode: 0644] blob
helm/hxsp/tpl/ok.tpl [new file with mode: 0644] blob
helm/hxsp/tpl/operror.tpl [new file with mode: 0644] blob
helm/hxsp/tpl/synerror.tpl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.