Changes between Initial Version and Version 1 of Ticket #410


Ignore:
Timestamp:
Jun 9, 2011, 2:53:04 PM (13 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #410

    • Property Status changed from new to accepted

  • Ticket #410 – Description

    initial v1  
    33the commit http://www4.in.tum.de/~wenzelm/cgi-bin/repos.cgi/ProofGeneral/rev/d3cf65e2d4e4 brakes parsing in Coq. Try
    44
     5{{{
    56Require Export Coq.Lists.List.
    67Notation "[ ]" := nil : list_scope.
    78Notation "[ a ; .. ; b ]" := (a :: .. (b :: []) ..) : list_scope.
    8 
     9}}}
    910Bye,
    1011