]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b016f78) | patch
removed old HTML files (tagged with "old_htmls")
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:15:28 +0000 (16:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 16:15:28 +0000 (16:15 +0000)
commit0a54af46215a0b5309014f467a29cd8463063e38
treece83efa4b517c7869f9488f68bab491c9dcb3e4ftree | snapshot
parentb016f78915f9fa03b4e596ed2374ec982d46c42dcommit | diff
removed old HTML files (tagged with "old_htmls")
27 files changed:
helm/searchEngine/html/aliaslist.html [deleted file] blob | history
helm/searchEngine/html/almost_blank.html [deleted file] blob | history
helm/searchEngine/html/blank.html [deleted file] blob | history
helm/searchEngine/html/boole.html [deleted file] blob | history
helm/searchEngine/html/constraints_choice_template.html [deleted file] blob | history
helm/searchEngine/html/editor.html [deleted file] blob | history
helm/searchEngine/html/editorpdq.html [deleted file] blob | history
helm/searchEngine/html/expnamedsubst.html [deleted file] blob | history
helm/searchEngine/html/expr.html [deleted file] blob | history
helm/searchEngine/html/genid.html [deleted file] blob | history
helm/searchEngine/html/grammar.html [deleted file] blob | history
helm/searchEngine/html/grammarpdq.html [deleted file] blob | history
helm/searchEngine/html/loc_obj.html [deleted file] blob | history
helm/searchEngine/html/mat_con.html [deleted file] blob | history
helm/searchEngine/html/moogle_chat1.html [deleted file] blob | history
helm/searchEngine/html/moogle_chat2.html [deleted file] blob | history
helm/searchEngine/html/moogle_constraints_choice.html [deleted file] blob | history
helm/searchEngine/html/paginacollink.html [deleted file] blob | history
helm/searchEngine/html/pdq.html [deleted file] blob | history
helm/searchEngine/html/query_choice.html [deleted file] blob | history
helm/searchEngine/html/set.html [deleted file] blob | history
helm/searchEngine/html/start.html [deleted file] blob | history
helm/searchEngine/html/summary.html [deleted file] blob | history
helm/searchEngine/html/templateambigpdq1.html [deleted file] blob | history
helm/searchEngine/html/templateambigpdq2.html [deleted file] blob | history
helm/searchEngine/html/templateambigpdq3.html [deleted file] blob | history
helm/searchEngine/html/val.html [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.