|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
pretzel
pretzel | Prettyprinter generator for noweb | Priority | |
Section | devel |
Installed size | 1208 |
Maintainer | Anthony Towns <ajt@debian.org> |
Architecture | i386 |
Version | 2.0n-2-0.1+b1 |
Depends | libc6 (>= 2.3.5-1), libgcc1 (>= 1 |
Suggests | ntp, predict |
File name | pool/main/p/pretzel/pretzel_2.0n-2-0.1+b1_i386.deb |
Description | Pretzel is a system that builds prettyprinters; that is programs that will take some plain ASCII source code and generate a LaTeXified version for presentation. . Pretzel has hooks to integrate with noweb, so that code chunks may be prettyprinted with pretzel's generated prettyprinters. . Example prettyprinter source for C, C++, Pascal, and Dijkstra's Guarded Command Language are included. |
|
|