publish version 0.5.0

Dierk · Aug 13, 2015 · 27bb614 · 27bb614
1 parent f2ecb49
commit 27bb614
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 16 deletions.
diff --git a/README.adoc b/README.adoc
@@ -4,7 +4,7 @@ For users
 =========
 
 Download the distribution zip (20 MB) from
-https://dl.dropboxusercontent.com/u/71750979/Frege/client-0.4.0.zip .
+https://dl.dropboxusercontent.com/u/71750979/Frege/client-0.5.0.zip .
 
 Unpack to an `<install-dir>` of your choice.
 
@@ -14,26 +14,15 @@ With a Java 8 (u40 or higher), run
 
 Additions to the use of the command-line REPL
 =============================================
-In addition to the commands in the command-line REPL like `:help`, the following keyboard shortcuts are supported:
-
-    Enter      Submit the current editor content for execution
-    Up         Show previous in history.
-    Down       Show next in history.
-    Ctrl-Enter Insert new line in editor.
-    Ctrl-L     Load Frege code via file chooser dialog.
-    Ctrl-B     Bigger  font.
-    Ctrl-S     Smaller font.
-    Ctrl-W     Wipe output area.
-
-Beside Ctrl, you can use the Cmd key on Mac.
-This feature can conflict with local keyboard settings for entering special characters.
+In addition to the commands in the command-line REPL like `:help`, you can press Ctrl-I (Mac: Cmd-I) to see an info screen
+with all available shortcuts and commands.
 
 The "history" list is pre-populated with commands that you may want to try out.
 New in version 0.4.0:
 
 * :l http:... to load a script from URL
 * import ... to make the module known
-* paint ... for graphical output
+* play ... for graphical output
 
 Please note that _this GUI is not an IDE_. The content of the editor is fed line-by-line to the
 command-line REPL and this limits the amount of work that one can do in "one go".

diff --git a/frepl.png b/frepl.png
diff --git a/gradle.properties b/gradle.properties
@@ -1,3 +1,3 @@
 group = org.frege
-version = 0.4.0
+version = 0.5.0