]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b5db76f) | patch
- design table for Basic_2
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Feb 2012 19:51:29 +0000 (19:51 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 9 Feb 2012 19:51:29 +0000 (19:51 +0000)
commitce747c4d4c3a087e1f59dca81b7b4962ffa8e02b
tree92df5a8ae83f8d1f64696c1eef970a50ba451b08tree | snapshot
parentb5db76fe31ab35bae0257cb6684c511bcc531e45commit | diff
- design table for Basic_2
- summary table for Basic_2 and Ground_2
- some additions to the Basic_2 file table
- some new cell styles for xhtbl
- syntax cor comments added to xhtbl
- some improvements in the Makefiles
helm/www/lambda_delta/Makefile diff | blob | history
helm/www/lambda_delta/bin/xhtbl/Makefile diff | blob | history
helm/www/lambda_delta/bin/xhtbl/textLexer.mll diff | blob | history
helm/www/lambda_delta/css/xhtbl.css diff | blob | history
helm/www/lambda_delta/ld_basic_2.html diff | blob | history
helm/www/lambda_delta/web/home/ld_basic_2.ldw.xml diff | blob | history
helm/www/lambda_delta/web/home/ld_basic_2_blk.tbl [new file with mode: 0644] blob
helm/www/lambda_delta/web/home/ld_basic_2_src.tbl diff | blob | history
helm/www/lambda_delta/xslt/ld_Ground_2_sum.xsl [new file with mode: 0644] blob
helm/www/lambda_delta/xslt/ld_basic_2_blk.xsl [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.