diff --git a/HISTORY b/HISTORY
index faecee108..ca2934cf9 100644
--- a/HISTORY
+++ b/HISTORY
@@ -1,7 +1,7 @@
 
 --------------------------------------------------------------------------------
-Silver 0.4.0      Mar ??, 2012
-(last updated mar 12)
+Silver 0.3.5      Mar 19, 2012
+
  - Now hosted on google code! http://code.google.com/p/silver
  - New, recommended, short form syntax for concrete production listings
  - Shell scripts for installing 'silver' script and gedit support
@@ -9,7 +9,10 @@ Silver 0.4.0      Mar ??, 2012
  - Attribute sections (.pp) introduced, in limited form
  - Partial application introduced
  - Slightly more location information available on terminals
- - 'Production' type eliminated, along with its duplicate functions (map_p...)
+ - 'Production' type eliminated, along with its duplicate functions
+   (map_p...)
+ - The 'Function' type keyword is removed, as well. Signatures should
+   just be written directly.
  - The compiler may issues warnings now, for some deprecated features.
  - New 'conditional export' feature introduced.
  - The compiler now uses signficantly less memory
diff --git a/grammars/silver/driver/Unit.sv b/grammars/silver/driver/Unit.sv
index f2f056867..a8ed5845c 100644
--- a/grammars/silver/driver/Unit.sv
+++ b/grammars/silver/driver/Unit.sv
@@ -64,7 +64,7 @@ abstract production printVersion
 top::Unit ::= 
 {
   top.order = 0;
-  top.io = print("Silver Version 0.3.trunk\n", top.ioIn);
+  top.io = print("Silver Version 0.3.5\n", top.ioIn);
   top.code = 127;
 }