Repository navigation

Ptanal polishing - #13

Open

cspiel wants to merge 2 commits into

cil-project:ptanal-fixesfrom

cspiel:ptanal-polishing

Open

Ptanal polishing#13
cspiel wants to merge 2 commits into
cil-project:ptanal-fixesfrom
cspiel:ptanal-polishing

Commits on Jul 5, 2014
- Fix incomplete documentation with respect to Ptranal.
  cspiel
  committed
  0654f7e
- Document the new option `--ptr_use_olf' of cilly.
  cspiel
  committed
  0833977