cb1e9d8 Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2.

Authored and Committed by jjames 12 years ago
1 file changed. 12 lines added. 21 lines removed.
    Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2.
    Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff.
    Coq tactics are written in ocaml, which compiles to arch-specific files,
    and those files are stored in the same place as the noarch proof files.
    
        
file modified
+12 -21