]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0f8a97) | patch
Created a new directory for Matita1.0
authorAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Apr 2012 07:46:45 +0000 (07:46 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Tue, 3 Apr 2012 07:46:45 +0000 (07:46 +0000)
commitfcaa64e1cf492478f5d93ca041d6d18d6b4faf9d
treea919461dc8548539e9d8717ad7c5631d04a8d10atree | snapshot
parentb0f8a972ce0e1e6a501724d40e9f78c343fdcfbccommit | diff
Created a new directory for Matita1.0
91 files changed:
helm/www/matita1.0/.htaccess [new file with mode: 0644] blob
helm/www/matita1.0/CLUSTERCS/Makefile [new file with mode: 0644] blob
helm/www/matita1.0/DEBIAN/Makefile [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita-ex.pdf [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita-tut.pdf [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.0.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.1.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.2.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.3.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.4.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.5.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.6.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/FILES/matita_0.5.7.orig.tar.gz [new file with mode: 0644] blob
helm/www/matita1.0/Makefile [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/disambiguation-errors.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/disambiguation.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/hopr.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/matita.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/matita_types.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/notation.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/oliboni.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/tinycals.pdf [new file with mode: 0644] blob
helm/www/matita1.0/PAPERS/whelp.pdf [new file with mode: 0644] blob
helm/www/matita1.0/UBUNTU_HARDY/Makefile [new file with mode: 0644] blob
helm/www/matita1.0/UBUNTU_INTREPID/Makefile [new file with mode: 0644] blob
helm/www/matita1.0/bottombar.shtml [new file with mode: 0644] blob
helm/www/matita1.0/bugzilla.css [new file with mode: 0644] blob
helm/www/matita1.0/cgi-bin/hl.cgi [new file with mode: 0755] blob
helm/www/matita1.0/community.shtml [new file with mode: 0644] blob
helm/www/matita1.0/development.shtml [new file with mode: 0644] blob
helm/www/matita1.0/docs/manual/figures/developments.png [new file with mode: 0644] blob
helm/www/matita1.0/documentation.shtml [new file with mode: 0644] blob
helm/www/matita1.0/download.shtml [new file with mode: 0644] blob
helm/www/matita1.0/flags/wgb.gif [new file with mode: 0644] blob
helm/www/matita1.0/flags/wit.gif [new file with mode: 0644] blob
helm/www/matita1.0/grafite-format.css [new file with mode: 0644] blob
helm/www/matita1.0/grafite.hrc [new file with mode: 0644] blob
helm/www/matita1.0/helm-proto.hrc [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-cicbrowser-browsing.png [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-cicbrowser-proof.png [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-cicbrowser-query.png [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-matita-href.png [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-matita-selection.png [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-matita.png [new file with mode: 0644] blob
helm/www/matita1.0/images/MINI_screenshot-tinycals.png [new file with mode: 0644] blob
helm/www/matita1.0/images/README.minis [new file with mode: 0644] blob
helm/www/matita1.0/images/bg.png [new file with mode: 0644] blob
helm/www/matita1.0/images/bg0.png [new file with mode: 0644] blob
helm/www/matita1.0/images/bg1.png [new file with mode: 0644] blob
helm/www/matita1.0/images/bg2.png [new file with mode: 0644] blob
helm/www/matita1.0/images/bg3.png [new file with mode: 0644] blob
helm/www/matita1.0/images/folder-apache.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-library.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-medium.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-small.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-text-big.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-tiny.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-w-text-big.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita-w-text-small.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matita.xcf [new file with mode: 0644] blob
helm/www/matita1.0/images/matitina-apache.png [new file with mode: 0644] blob
helm/www/matita1.0/images/matitina-apache.svg [new file with mode: 0644] blob
helm/www/matita1.0/images/matitina.svg [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-cicbrowser-browsing.png [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-cicbrowser-proof.png [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-cicbrowser-query.png [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-matita-href.png [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-matita-selection.png [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-matita.png [new file with mode: 0644] blob
helm/www/matita1.0/images/screenshot-tinycals.png [new file with mode: 0644] blob
helm/www/matita1.0/images/sheetbg.png [new file with mode: 0644] blob
helm/www/matita1.0/images/valid-css.png [new file with mode: 0644] blob
helm/www/matita1.0/images/valid-xhtml10.png [new file with mode: 0644] blob
helm/www/matita1.0/index.shtml [new symlink] blob
helm/www/matita1.0/library.shtml [new file with mode: 0644] blob
helm/www/matita1.0/matita.shtml [new file with mode: 0644] blob
helm/www/matita1.0/matita_it.shtml [new file with mode: 0644] blob
helm/www/matita1.0/menubar.shtml [new file with mode: 0644] blob
helm/www/matita1.0/menubar_it.shtml [new file with mode: 0644] blob
helm/www/matita1.0/navy.css [new file with mode: 0644] blob
helm/www/matita1.0/news.shtml [new file with mode: 0644] blob
helm/www/matita1.0/news_it.shtml [new symlink] blob
helm/www/matita1.0/papers.shtml [new file with mode: 0644] blob
helm/www/matita1.0/splash.shtml [new file with mode: 0644] blob
helm/www/matita1.0/style.css [new file with mode: 0644] blob
helm/www/matita1.0/theses.shtml [new file with mode: 0644] blob
helm/www/matita1.0/xhtml-header.shtml [new file with mode: 0644] blob
helm/www/matita1.0/xhtml-meta.shtml [new file with mode: 0644] blob
helm/www/matita1.0/xml/papers.xml [new file with mode: 0644] blob
helm/www/matita1.0/xsl/papers2xhtml.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.