]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25cf229) | patch
This commit restores the ids_to_father_ids table.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 6 Jun 2009 16:43:35 +0000 (16:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sat, 6 Jun 2009 16:43:35 +0000 (16:43 +0000)
commit442f3a15d7c6afc480da02602d4d4c8db4f44c10
tree8b721a5943b750e8680ed5d616e19924f8c66c96tree | snapshot
parent25cf2297c8d14c14cfb2ff7695c9b6331825f4c9commit | diff
This commit restores the ids_to_father_ids table.
However, after the implementation, I sort of realized that maybe this table
is useless, after all.
Thus I am gonna do my commit and immediately revert it (just to keep the
code in SVN in case of need).
helm/software/components/binaries/transcript/.depend diff | blob | history
helm/software/components/binaries/transcript/.depend.opt diff | blob | history
helm/software/components/ng_cic_content/nTermCicContent.ml diff | blob | history
helm/software/components/ng_cic_content/nTermCicContent.mli diff | blob | history
helm/software/components/syntax_extensions/.depend diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
helm/software/matita/applyTransformation.mli diff | blob | history
helm/software/matita/matitaMathView.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.