]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f083a73) | patch
- xhtbl.css is ready!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Oct 2011 20:52:52 +0000 (20:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 2 Oct 2011 20:52:52 +0000 (20:52 +0000)
commitad4d9dc103672a8ae732ec520d0f74445b913e2c
treefb25a89b62bdec2388236729c966d345788b8863tree | snapshot
parentf083a73b0409cf25c7cc5c670c9799b7ac3554b5commit | diff
- xhtbl.css is ready!
- images ar now in a dedicated directory
29 files changed:
helm/www/lambda_delta/css/ld.css [deleted file] blob | history
helm/www/lambda_delta/css/ld_web.css [new file with mode: 0644] blob
helm/www/lambda_delta/css/xhtbl.css [new file with mode: 0644] blob
helm/www/lambda_delta/download/PNGnow2.png [deleted file] blob | history
helm/www/lambda_delta/download/b3.png [deleted file] blob | history
helm/www/lambda_delta/download/b4.png [deleted file] blob | history
helm/www/lambda_delta/download/b5.png [deleted file] blob | history
helm/www/lambda_delta/download/b9.png [deleted file] blob | history
helm/www/lambda_delta/download/basic_32.png [deleted file] blob | history
helm/www/lambda_delta/download/crux_16.ico [deleted file] blob | history
helm/www/lambda_delta/download/crux_32.png [deleted file] blob | history
helm/www/lambda_delta/download/globe_trans.png [deleted file] blob | history
helm/www/lambda_delta/download/helena_32.png [deleted file] blob | history
helm/www/lambda_delta/download/helena_label.png [deleted file] blob | history
helm/www/lambda_delta/download/rainbow.png [deleted file] blob | history
helm/www/lambda_delta/download/xml_xsl2.png [deleted file] blob | history
helm/www/lambda_delta/images/PNGnow2.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/b3.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/b4.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/b5.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/b9.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/basic_32.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/crux_16.ico [new file with mode: 0644] blob
helm/www/lambda_delta/images/crux_32.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/globe_trans.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/helena_32.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/helena_label.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/rainbow.png [new file with mode: 0644] blob
helm/www/lambda_delta/images/xml_xsl2.png [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.