Me tiene acalambrado este mensaje y ocurre cada vez que abro la plantilla del practico 2.
Alguien tuvo el mismo problema?
Coq 8.6.1
Windows 7 64bits
Me tiene acalambrado este mensaje y ocurre cada vez que abro la plantilla del practico 2.
Alguien tuvo el mismo problema?
Coq 8.6.1
Windows 7 64bits