Permalink
Browse files

Sneakily changed version numbering

0.3 is way too high for the current state, so I'll put a 1. in the middle
and hope nobody minds/notices :).

darcs-hash:20070131004043-974a0-9a944d266e1b96c02b9425f6a2a59a8be930b456.gz
  • Loading branch information...
1 parent 384098f commit 8ea14a03aec866741d7ddbc563ec68982f001a43 eb committed Jan 31, 2007
Showing with 2 additions and 2 deletions.
  1. +2 −2 ivor.cabal
View
@@ -1,5 +1,5 @@
Name: ivor
-Version: 0.3
+Version: 0.1.3
Author: Edwin Brady
License: BSD3
License-file: LICENSE
@@ -26,7 +26,7 @@ Description: Ivor is a type theory based theorem prover, with a
that implemented in Epigram), with dependent pattern
matching, and experimental multi-stage programming
support. Optionally, it can be extended with
- heterogenous equality, primitive types and operations,
+ heterogeneous equality, primitive types and operations,
new parser rules, user defined tactics and (if you
want your proofs to be untrustworthy) a fixpoint
combinator.

0 comments on commit 8ea14a0

Please sign in to comment.