Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Rename tactics to the more appropriate "prelude". (more granularity a…

…nd a catalog later)
  • Loading branch information...
commit 2a145c1572c879e5a62a95a011cf7be4e328b5eb 1 parent 733ab02
@luqui authored
Showing with 0 additions and 0 deletions.
  1. 0  ixi/IXi/{Tactics.hs → Prelude.hs}
View
0  ixi/IXi/Tactics.hs → ixi/IXi/Prelude.hs
File renamed without changes
Please sign in to comment.
Something went wrong with that request. Please try again.