]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 357d03d) | patch
the Matita manual is now convertible to a decent .tex that is processable both
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 8 Jun 2006 16:24:52 +0000 (16:24 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 8 Jun 2006 16:24:52 +0000 (16:24 +0000)
commit8d2887c7a3e452302bf976b6303c65c3a7f7961e
tree6e68a53eeec3d30a1bfefc7d99788d26b30ea144tree | snapshot
parent357d03db09f8b136b1c049d2c982902112d1cc49commit | diff
the Matita manual is now convertible to a decent .tex that is processable both
by latex and pdflatex, changes involved:
- use the 'unicode' latex package.  The unicode package, being quite large, has
  been imported under trunk/software/share/texmf/unicode
- added the definition of mappings from some unicode symbol we use (and which
  are not defined in the default unicode package) to tex macros. See
  share/texmf/unicode/config/matita.ucf
- added some parameters to the stylesheet used to generate .tex from .xml
276 files changed:
matita/help/C/Makefile diff | blob | history
matita/help/C/matita-tex.xsl diff | blob | history
matita/help/C/sec_gettingstarted.xml diff | blob | history
matita/help/C/sec_install.xml diff | blob | history
share/texmf/unicode/.INSTALL.swp [new file with mode: 0644] blob
share/texmf/unicode/FAQ [new file with mode: 0644] blob
share/texmf/unicode/INSTALL [new file with mode: 0644] blob
share/texmf/unicode/LICENSE [new file with mode: 0644] blob
share/texmf/unicode/Makefile [new file with mode: 0644] blob
share/texmf/unicode/README [new file with mode: 0644] blob
share/texmf/unicode/README.matita [new file with mode: 0644] blob
share/texmf/unicode/UnicodeData.txt [new file with mode: 0644] blob
share/texmf/unicode/VERSION [new file with mode: 0644] blob
share/texmf/unicode/config/ascii.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/boxdraw.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/braille.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/cjk-bg5.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/cjk-gb.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/cjk-globals.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/cjk-hangul.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/cjk-jis.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/combining.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/control.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/ctrlglyphs.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/currency.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/cyrillic.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/devanagari.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/ethiopic.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/geometric.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/greek.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/hebrew.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/ipa.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/klingon.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/latin-a.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/latin-b.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/latin-e-a.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/latin1.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/math.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/mathalpha.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/matita.ucf [new file with mode: 0644] blob
share/texmf/unicode/config/miscsymb.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/modifier.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/mongolian.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/pifont.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/punct.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/supersub.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/tags.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/telugu.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/config/thai.ucf.gz [new file with mode: 0644] blob
share/texmf/unicode/contrib/UnicodeT.sfd [new file with mode: 0644] blob
share/texmf/unicode/contrib/autofe.sty [new file with mode: 0644] blob
share/texmf/unicode/contrib/c00enc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/c10enc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/c40enc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/c42enc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/c61enc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/cenccmn.tex [new file with mode: 0644] blob
share/texmf/unicode/contrib/cp1252.enc [new file with mode: 0644] blob
share/texmf/unicode/contrib/ldvarial.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ldvc2000.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ldvenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/letc2000.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/letenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/letgfzem.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/letjiret.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/lklenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/lklkli.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltaarial.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltac2000.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltaenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltgc2000.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltgenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltlcmr.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltlenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltwdsnol.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltwdsque.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltwdssin.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/ltwenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/lucarial.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/lucc2000.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/lucenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/mkrenc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/mkrezra.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/mkrhadas.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/mkromega.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/mkrrashi.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/t2dcmr.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/t2denc.def [new file with mode: 0644] blob
share/texmf/unicode/contrib/tengwarDS.enc [new file with mode: 0644] blob
share/texmf/unicode/contrib/xscmr.fd [new file with mode: 0644] blob
share/texmf/unicode/contrib/xsenc.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-0.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-1.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-100.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-101.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-102.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-103.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-104.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-105.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-106.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-107.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-108.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-109.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-110.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-111.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-112.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-113.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-114.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-115.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-116.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-117.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-118.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-119.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-12.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-120.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-121.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-122.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-123.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-124.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-125.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-126.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-127.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-128.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-129.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-130.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-131.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-132.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-133.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-134.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-135.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-136.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-137.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-138.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-139.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-14.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-140.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-141.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-142.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-143.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-144.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-145.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-146.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-147.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-148.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-149.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-150.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-151.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-152.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-153.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-154.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-155.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-156.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-157.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-158.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-159.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-172.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-173.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-174.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-175.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-176.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-177.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-178.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-179.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-18.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-180.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-181.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-182.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-183.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-184.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-185.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-186.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-187.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-188.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-189.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-19.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-190.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-191.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-192.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-193.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-194.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-195.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-196.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-197.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-198.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-199.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-2.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-200.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-201.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-202.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-203.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-204.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-205.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-206.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-207.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-208.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-209.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-210.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-211.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-212.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-213.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-214.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-215.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-24.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-248.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-249.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-250.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-251.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-254.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-255.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-29.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-3.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-30.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-31.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-32.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-33.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-34.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-35.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-3584.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-36.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-37.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-38.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-39.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-4.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-40.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-42.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-46.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-468.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-469.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-47.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-470.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-471.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-48.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-49.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-5.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-50.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-51.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-760.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-761.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-762.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-78.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-79.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-80.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-81.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-82.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-83.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-84.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-85.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-86.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-87.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-88.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-89.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-9.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-90.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-91.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-92.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-93.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-94.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-95.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-96.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-97.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-98.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-99.def [new file with mode: 0644] blob
share/texmf/unicode/data/uni-global.def [new file with mode: 0644] blob
share/texmf/unicode/data/uninames.dat [new file with mode: 0644] blob
share/texmf/unicode/discovermacro.pl [new file with mode: 0755] blob
share/texmf/unicode/languages.ps.gz [new file with mode: 0644] blob
share/texmf/unicode/latexout.pl [new file with mode: 0755] blob
share/texmf/unicode/ltxmacrs.txt [new file with mode: 0644] blob
share/texmf/unicode/makeunidef.pl [new file with mode: 0755] blob
share/texmf/unicode/ucs.ps.gz [new file with mode: 0644] blob
share/texmf/unicode/ucs.sty [new file with mode: 0644] blob
share/texmf/unicode/ucsencs.def [new file with mode: 0644] blob
share/texmf/unicode/ucshyper.sty [new file with mode: 0644] blob
share/texmf/unicode/ucsutils.sty [new file with mode: 0644] blob
share/texmf/unicode/uninames.dat [new file with mode: 0644] blob
share/texmf/unicode/utf8x.def [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.