]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/help/C/figures
Bug fixed in the guarded_by_descructors function: in some cases the context
[helm.git] / helm / software / matita / help / C / figures /
2006-06-14 Enrico Tassiadding the developments screenshot