]> matita.cs.unibo.it Git - helm.git/history - helm/matita/matita.ml
- passes subst to FreshNameGenerator
[helm.git] / helm / matita / matita.ml
2004-11-15 Stefano Zacchirolisnapshot
2004-11-11 Stefano Zacchirolisnapshot:
2004-11-09 Stefano Zacchirolisnapshot, notably:
2004-11-05 Stefano Zacchirolifilled toolbar and implemented buttons behaviours
2004-11-03 Stefano Zacchirolisnapshot (notably: ported to mysql instead of dbi)
2004-10-27 Stefano Zacchirolisnapshot, notably:
2004-10-13 Stefano Zacchirolisnapshot, notably history no longer remember annotation...
2004-10-06 Stefano Zacchirolisnapshot (notably: implemented "check")
2004-10-04 Stefano Zacchirolisnapshot
2004-10-01 Stefano Zacchirolisnapshot
2004-10-01 Stefano Zacchirolisnapshot
2004-05-04 Stefano Zacchirolisnapshot (notably: first working version of the console)
2004-04-30 Stefano Zacchirolisnapshot
2004-04-29 Stefano Zacchirolisnapshot
2004-04-28 Stefano Zacchirolisnapshot
2004-04-23 Stefano Zacchirolisnapshot
2004-04-22 Stefano Zacchirolisnapshot
2004-04-22 Stefano Zacchirolisnapshot
2004-04-20 Stefano Zacchirolirenamed mathita to matita