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

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

2004-05-31	Matteo Selmi	New filtering function for "Auto" tactic using "just...	commit \| commitdiff \| tree
2004-05-25	Matteo Selmi	written a new sort function to postpone the resolution...	commit \| commitdiff \| tree
2004-05-21	Matteo Selmi	Added a sort function to decide the order of theorems...	commit \| commitdiff \| tree
2004-05-17	Matteo Selmi	Added a filter for uris in tactic "auto".	commit \| commitdiff \| tree
2004-03-31	Matteo Selmi	tacticChaser modified to avoid double "apply" and to...	commit \| commitdiff \| tree

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