diff options
| author | Hugo Herbelin | 2014-08-16 17:50:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2014-08-16 17:52:53 +0200 |
| commit | 682aa67cc808e1d46b35f6f9c848946cabc226f7 (patch) | |
| tree | 9740bc148ff3a3a32293d7b29a11a802fa2d9a2f /doc/tutorial/Tutorial.tex | |
| parent | 8bc0159095cb0230a50c55a1611c8b77134a6060 (diff) | |
Fixing too restrictive detection of resolution of evars in "apply in"
(revealed by contribution PTSF).
Diffstat (limited to 'doc/tutorial/Tutorial.tex')
0 files changed, 0 insertions, 0 deletions