Skip to content

Commit

Permalink
Renamed the Make target functional_algebra to resolve a Make error co…
Browse files Browse the repository at this point in the history 
…ncerning the original hyphenated target name, and regenerated the Makefile to work under Coq version 8.8. The older Makefile, which is compatible with version 8.4, has been saved as Makefile-8.4.
  • Loading branch information
@larryleeelucidsolutions
larryleeelucidsolutions committed Aug 12, 2018
1 parent 64b2abb commit e11162e
Show file tree
Hide file tree
Showing 3 changed files with 979 additions and 180 deletions.
Loading

0 comments on commit e11162e

Please sign in to comment.