]> matita.cs.unibo.it Git - helm.git/blob - helm/papers/whelp/TODO
absolute path and factorization for matita.basedir
[helm.git] / helm / papers / whelp / TODO
1 - referenziare (o togliere dalla biblio) paperi {cairns} e {diffeq}
2 - conclusioni: case sensitiveness
3 - hint: rating (+ esempio ?)
4   - se aggiungiamo rating dobbiamo correggere l'affermazione nelle conclusioni a
5     riguardo delle parti di Whelp che dipendono da CIC
6 - spell checking finale