Version increment
commit33037476c323da2d6a286851461f43513554dcb5
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 25 Mar 2016, 23:27 (11 years ago)
parentbdf5666
docs/listing/idris-prompt-helloworld.txt+1−1
@@ -1,7 +1,7 @@
11$ idris hello.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.9.17
4+ / // __ / ___/ / ___/ Version 0.11
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-interp.txt+1−1
@@ -1,7 +1,7 @@
11$ idris interp.idr
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.9.17
4+ / // __ / ___/ / ___/ Version 0.11
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66 /___/\__,_/_/ /_/____/ Type :? for help
77
docs/listing/idris-prompt-start.txt+1−1
@@ -1,7 +1,7 @@
11$ idris
22 ____ __ _
33 / _/___/ /____(_)____
4− / // __ / ___/ / ___/ Version 0.9.17
4+ / // __ / ___/ / ___/ Version 0.11
55 _/ // /_/ / / / (__ ) http://www.idris-lang.org/
66/___/\__,_/_/ /_/____/ Type :? for help
77
idris.cabal+1−1
@@ -1,5 +1,5 @@
11Name: idris
2−Version: 0.10.3
2+Version: 0.11
33License: BSD3
44License-file: LICENSE
55Author: Edwin Brady