]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61e1e56) | patch
- new pretty printing of interpretations
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:17:03 +0000 (16:17 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:17:03 +0000 (16:17 +0000)
commita240236d1e9d5154e8cb5da73f8e98cf7734a73e
tree1a6caefda1b7a1fef53b86719c52a9f13ac62066tree | snapshot
parent61e1e56a7ecee8cea2d86e3239ed491f1d9e4a51commit | diff
- new pretty printing of interpretations
- bugfix: interpretations are now remembered between pages
- more coherent look and feel
helm/searchEngine/mooglePp.ml diff | blob | history
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.