HCoop
/
bpt
/
coccinelle.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Release coccinelle-0.1.8
[bpt/coccinelle.git]
/
docs
/
manual
/
main_options.tex
1
\documentclass
{
article
}
2
3
\usepackage
{
ifthen
}
4
5
\usepackage
{
fullpage
}
6
\usepackage
{
amsmath
}
7
\usepackage
{
amssymb
}
8
9
% fancy symbol, but require latex-extra-fonts (huge) package
10
\usepackage
[
geometry
]{
ifsym
}
11
12
\input
{
macros_options
}
13
14
\title
{
Coccinelle Usage (version
0.1.7
)
}
15
16
\begin
{
document
}
17
\maketitle
18
19
\input
{
spatch_options
}
20
21
\end
{
document
}