matita.cs.unibo.it Git - helm.git/commit - helm/interface/mml.dtd

]> matita.cs.unibo.it Git - helm.git/commit - helm/interface/mml.dtd

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 75a9b50) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 22 Nov 2000 19:46:31 +0000 (19:46 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 22 Nov 2000 19:46:31 +0000 (19:46 +0000)
commit	857b7321250fd66596523596c8ef104f8978fe05
tree	98024ea578adf3a284dfbcef41ad3b6250c927d4	tree \| snapshot
parent	75a9b5036f36670b52acb989f73307aa251a6a6c	commit \| diff

Many cleanings in the repository

helm/interface/ISTRUZIONI	[deleted file]	blob \| history
helm/interface/NON_VA	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE_TCSH	[deleted file]	blob \| history
helm/interface/PER_FARLO_ANDARE_TCSH_D01	[deleted file]	blob \| history
helm/interface/cicXPath.prima_degli_identificatori.ml	[deleted file]	blob \| history
helm/interface/gmon.out	[deleted file]	blob \| history
helm/interface/latinize.pl	[deleted file]	blob \| history
helm/interface/mml.dtd	[deleted file]	blob \| history
helm/interface/mml.ml	[deleted file]	blob \| history
helm/interface/mmlinterface.opt.saved	[deleted file]	blob \| history

Unnamed repository; edit this file 'description' to name the repository.