matita.cs.unibo.it Git - helm.git/history - helm/searchEngine/mooglePp.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/searchEngine/mooglePp.ml

2005-06-22	Enrico Tassi	fixed +1 numbering (added when the memory consuming...	blob \| commitdiff \| raw
2005-06-22	Enrico Tassi	removed memory wasting foldright	blob \| commitdiff \| raw \| diff to current
2005-03-16	Stefano Zacchiroli	- new pretty printing of interpretations	blob \| commitdiff \| raw \| diff to current
2005-03-16	Stefano Zacchiroli	- re-enginered main moogle template, it is now aware...	blob \| commitdiff \| raw \| diff to current
2005-01-10	Enrico Tassi	added begin list and end list comments to help moogle...	blob \| commitdiff \| raw \| diff to current
2004-12-21	Stefano Zacchiroli	added URI printing in the result page (so that mouse...	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	implemented pagination	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	- reimplemented basic features using the helm-metadata...	blob \| commitdiff \| raw \| diff to current

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