diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-08-16 14:01:42 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-08-16 14:01:42 +0000 |
| commit | d48088e46f19072a4ad26dca191dff68c227300e (patch) | |
| tree | e61e09f9c01f287c575822dfc9bfb3835c0b2ec2 /theories/Reals/Rtrigo_def.v | |
| parent | 600cc313b09fdb0857da49f5671f885ac53d169e (diff) | |
Minor improvements of the coqide.desktop file.
Diffstat (limited to 'theories/Reals/Rtrigo_def.v')
0 files changed, 0 insertions, 0 deletions