Timeline
Aug 29, 2015:
- 11:18 AM Ticket #507 (PG for Coq does not interpret quotes within comments like Coq does) created by
- In a file containing e.g.: (* " *) Definition z := 0. (* " *) Proof …
Note: See TracTimeline
for information about the timeline view.
