]> matita.cs.unibo.it Git - helm.git/commit
Many cleanings in the repository
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:46:31 +0000 (19:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Nov 2000 19:46:31 +0000 (19:46 +0000)
commit857b7321250fd66596523596c8ef104f8978fe05
tree98024ea578adf3a284dfbcef41ad3b6250c927d4
parent75a9b5036f36670b52acb989f73307aa251a6a6c
Many cleanings in the repository
helm/interface/ISTRUZIONI [deleted file]
helm/interface/NON_VA [deleted file]
helm/interface/PER_FARLO_ANDARE [deleted file]
helm/interface/PER_FARLO_ANDARE_TCSH [deleted file]
helm/interface/PER_FARLO_ANDARE_TCSH_D01 [deleted file]
helm/interface/cicXPath.prima_degli_identificatori.ml [deleted file]
helm/interface/gmon.out [deleted file]
helm/interface/latinize.pl [deleted file]
helm/interface/mml.dtd [deleted file]
helm/interface/mml.ml [deleted file]
helm/interface/mmlinterface.opt.saved [deleted file]