From e1ecefa205e705faff97c6bdf470e8ec7c143bff Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Sat, 16 Jan 2021 14:18:18 +0000 Subject: [PATCH] Update CHANGELOG/CONTRIBUTORS We need to keep the CONTRIBUTORS file up to date, to give people proper credit where it's due. There may still be people missing - please feel free to add your own name if you think it should be there! --- CHANGELOG.md | 7 +++++++ CONTRIBUTORS | 16 ++++++++++++++-- Release/mkdist.sh | 2 ++ 3 files changed, 23 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index e9604e109..6d08f435a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,10 @@ +Changes since Idris 2 v0.3.0 +---------------------------- + +REPL/IDE mode changes: + +* Added `:search` command, which searches for functions by type + Changes since Idris 2 v0.2.1 ---------------------------- diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 461ddf1ff..bc2545e31 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -1,34 +1,41 @@ Thanks to the following for their help and contributions to Idris 2: +Aaron Lebahn Abdelhakim Qbaich Alex Gryzlov Alex Silva +alissa42 Andre Kuhlenschmidt André Videla Andy Lok Anthony Lodi Arnaud Bailly Brian Wignall +Bryn Keller Christian Rasmussen David Smith +Denis Buzdalov Edwin Brady Fabián Heredia Montiel +Felix Springer George Pollard GhiOm Guillaume Allais Ilya Rezvov Jan de Muijnck-Hughes Jeetu +Joey Eremondi Johann Rudloff Kamil Shakirov -Bryn Keller Kevin Boulain LuoChen Marc Petit-Huguenin MarcelineVQ Marshall Bowers +Mathew Polzin Matthew Wilson Matus Tejiscak +Michael Messer Michael Morgan Milan Kral Molly Miller @@ -41,7 +48,12 @@ Rohit Grover Rui Barreiro Ruslan Feizerahmanov Simon Chatterjee -then0rTh +tensorknower69 Theo Butler +Thomas Dziedzic Tim Süberkrüb Timmy Jose +then0rTh + +Apologies to anyone we've missed - let us know and we'll correct it (or just +send a PR with the correction). diff --git a/Release/mkdist.sh b/Release/mkdist.sh index 98d07a521..d7c7473fc 100644 --- a/Release/mkdist.sh +++ b/Release/mkdist.sh @@ -1,5 +1,7 @@ #!/bin/sh +set -e + if [ $# -eq 0 ] then echo "No version number supplied"