Browse files

Advertise OCaml 4.00.0.

  • Loading branch information...
1 parent fa9697c commit d9ea6051bb243e57d12dd27aa88873303a35bd24 @Chris00 Chris00 committed Aug 17, 2012
Showing with 45 additions and 53 deletions.
  1. +0 −25 _tags
  2. +21 −15 src/html/download.html
  3. +24 −13 src/html/index.html
View
25 _tags
@@ -1,29 +1,4 @@
# OASIS_START
-# DO NOT EDIT (digest: 3e3f240dc458143d95d1d3c57e79ad1a)
-# Ignore VCS directories, you can use the same kind of rule outside
-# OASIS_START/STOP if you want to exclude directories that contains
-# useless stuff for the build process
-<**/.svn>: -traverse
-<**/.svn>: not_hygienic
-".bzr": -traverse
-".bzr": not_hygienic
-".hg": -traverse
-".hg": not_hygienic
-".git": -traverse
-".git": not_hygienic
-"_darcs": -traverse
-"_darcs": not_hygienic
-# Library ocamlweb
-"src/lib/ocamlweb.cmxs": use_ocamlweb
-<src/lib/*.ml{,i}>: pkg_weberizer
-<src/lib/*.ml{,i}>: pkg_netstring
-# Executable build
-<src/app/build.{native,byte}>: use_ocamlweb
-<src/app/build.{native,byte}>: pkg_weberizer
-<src/app/build.{native,byte}>: pkg_netstring
-<src/app/*.ml{,i}>: use_ocamlweb
-<src/app/*.ml{,i}>: pkg_weberizer
-<src/app/*.ml{,i}>: pkg_netstring
# OASIS_STOP
<**/*.ml>: annot
View
36 src/html/download.html
@@ -14,27 +14,33 @@
the latest stable version, as well as links towards the SVN with the
development version. </p>
- <h2>Stable Version</h2>
+<h2>Stable Version</h2>
- <p> The most recent version is <b>OCaml 3.12.1</b>, released on
- 2011-07-04. </p>
- <ul>
- <li><a href="http://yquem.inria.fr/~protzenk/caml-installer/ocaml-3.12.1-mingw32.exe">OCaml 3.12.1 Windows Installer</a> (and <a href="http://protz.github.com/ocaml-installer/">its documentation</a>)
- <li><a href="http://caml.inria.fr/pub/distrib/ocaml-3.12/ocaml-3.12.1.tar.gz">OCaml 3.12.1 Sources</a> (for compilation under Unix or Windows Cygwin)
- </ul>
+<p> The most recent version is <b>OCaml 4.00.0</b>, released on
+ 2012-07-26.</p>
+<ul>
+ <li><a href="http://protz.github.com/ocaml-installer/" >OCaml
+ 4.00.0 Windows Installer</a></li>
+ <li><a href="http://caml.inria.fr/pub/distrib/ocaml-4.00/ocaml-4.00.0.tar.gz"
+ >OCaml 4.00.0 Sources</a> (for compilation under Unix or Windows
+ Cygwin)</li>
+</ul>
- <p>Find more packages on <a href="http://caml.inria.fr/ocaml/release.en.html">Inria&#39;s website</a>.</p>
+<p>Find more packages
+ on <a href="http://caml.inria.fr/ocaml/release.en.html#id239715"
+ >Inria&#39;s website</a>.</p>
- <h2>Development Version</h2>
+<h2>Development Version</h2>
- <p>You can access the most recent version in the SVN: </p>
+<p>You can access the most recent version in the SVN: </p>
- <ul>
- <li><a href="http://caml.inria.fr/cgi-bin/viewvc.cgi/">Browse the repository</a>
- <li>Get a copy of the next release:</p>
- <code>svn checkout http:&frasl;&frasl;caml.inria.fr&frasl;svn&frasl;ocaml&frasl;trunk</code>
- </ul>
+<ul>
+ <li><a href="http://caml.inria.fr/cgi-bin/viewvc.cgi/">Browse the repository</a>
+ <li>Get a copy of the next release:</p>
+ <code>svn checkout
+ http:&frasl;&frasl;caml.inria.fr&frasl;svn&frasl;ocaml&frasl;trunk</code>
+ </ul>
<h2>Other Implementations</h2>
View
37 src/html/index.html
@@ -91,7 +91,7 @@
-- Main announcements to the right.
---------------------------------------------------->
<div class="hero-unit download">
- <h3><a href="download.html">Download OCaml 3.12.1 Now!
+ <h3><a href="download.html">Download OCaml 4.00.0 Now!
<img src="${url_base}/img/download-button.png"
width="120px" alt="download" />
@@ -117,9 +117,30 @@
<div class="container-fluid">
<div class="row-fluid">
<div class="span6" >
- <h2>What&#39;s new in OCaml 3.12?</h2>
+ <h2>What&#39;s new in OCaml 4.00.0?</h2>
+
+ <p>Some of the highlights in release 4.0.0 (July 2012) are:</p>
+ <ul><li> The name of our favorite language is now officially
+ "OCaml", and this name is used consistently in all the
+ documentation and tool outputs. </li>
+ <li> Generalized Algebraic Data Types (GADTs): this is a
+ powerful extension of the type system that provides great
+ flexibility and power to the programmer. </li>
+ <li> A new and improved ARM back-end. </li>
+ <li> Changes to first-class modules: type annotations can
+ now be omitted when packing and unpacking modules (and are
+ inferred from context whenever possible), and first-class
+ modules can now be unpacked by pattern-matching. </li>
+ <li> Support for randomized hash tables to avoid
+ denial-of-service vulnerabilities. </li>
+ <li>Installation of the compiler's internal libraries in
+ <code>+compiler-libs</code> for easier access by third-party
+ programming tools. </li>
+ </ul>
+
+ <h2>Previous release (3.12)</h2>
- <p>Some of the highlights in release 3.12 are:</p>
+ <p>Some of the highlights in release 3.12 are:</p>
<ul><li> Polymorphic recursion is supported, using explicit
type declarations on the recursively-defined
identifiers.</li>
@@ -149,16 +170,6 @@
warnings and errors.</li>
</ul>
- <h2>Next release: OCaml 4.0</h2>
-
- <p><strong>ETA</strong>: June 2012.</p>
-
- <p><strong>Highlights</strong>: GADTs, improved first-class
- modules, new ARM backend, mingw-w64 support,
- optimizations...</p>
- <a href="http://caml.inria.fr/cgi-bin/viewvc.cgi/ocaml/trunk/Changes?view=markup"
- class="btn pull-right"
- >Read more <i class="icon-arrow-right"></i></a>
</div> <!-- span6 -->
<div class="span6" >

0 comments on commit d9ea605

Please sign in to comment.