matita.cs.unibo.it Git - helm.git/search

]> matita.cs.unibo.it Git - helm.git/search

projects / helm.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2006-03-10	marangon	Inversion code cleaning.	commit \| commitdiff \| tree
2006-03-03	marangon	PP of Refine.RefineFailure.	commit \| commitdiff \| tree
2006-01-11	marangon	Code clean up.	commit \| commitdiff \| tree
2005-12-15	marangon	New tactic: inversion.	commit \| commitdiff \| tree
2005-12-15	marangon	New tactic: inversion.	commit \| commitdiff \| tree
2005-12-15	marangon	...	commit \| commitdiff \| tree
2005-12-15	marangon	added -I ../.. (for coq.ma)	commit \| commitdiff \| tree

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