add ocaml-autoconf
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Apr 2009 08:23:35 +0000 (10:23 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Apr 2009 08:23:35 +0000 (10:23 +0200)
minor restructuring
- better grouping OCaml-related project
- get rid of redundant hyperlinks on "OCaml"

hacking/software.mdwn

index 29b5b0d..abb97f1 100644 (file)
@@ -1,7 +1,7 @@
 [[!img img/applications-development.png link="no" class="flow" alt="development"]]
 
 Below you can find a list of the software projects I've been involved with
-(sometimes as the main author, sometimes as a contributor, ... YMMV).
+(sometimes as the main author, sometimes as a contributor, ...).
 
 [[!toc ]]
 
@@ -10,23 +10,18 @@ Below you can find a list of the software projects I've been involved with
 * **Matita** - an interactive proof assistant
 [[homepage](http://matita.cs.unibo.it), [debian
 package](http://packages.qa.debian.org/matita)]
-* **Carbon** - a strict, strongly-typed, functional programming language
-[[homepage](http://home.gna.org/carbon)]
-* OCaml **Batteries Included** - *consistent*, *documented*, and
-*comprehensive* [OCaml](http://caml.inria.fr) development platform
-[[homepage](http://batteries.forge.ocamlcore.org)]
-* **CamlBZ2** - [OCaml](http://caml.inria.fr) bindings for
-[`bzip2`](http://www.bzip.org)
-[[homepage](http://camlbz2.forge.ocamlcore.org)]
-* **LablGtkSourceView** (now a part of *[LablGTK](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)*) -
-[OCaml](http://caml.inria.fr) bindings for
-[GtkSourceView](http://gtksourceview.sourceforge.net/)
-[[homepage](http://helm.cs.unibo.it/software/lablgtksourceview/), [debian
-package](http://packages.qa.debian.org/lablgtk2)]
-* **LablGtkMathView** - [OCaml](http://caml.inria.fr) bindings for
-[GtkMathView](http://helm.cs.unibo.it/mml-widget/)
-[[homepage](http://helm.cs.unibo.it/mml-widget/), [debian
-package](http://packages.qa.debian.org/lablgtkmathview)]
+* stuff related to the [OCaml](http://caml.inria.fr) programming language:
+  * OCaml **Batteries Included** - *consistent*, *documented*, and
+  *comprehensive* OCaml development platform [[homepage](http://batteries.forge.ocamlcore.org)]
+  * **CamlBZ2** - OCaml bindings for [`bzip2`](http://www.bzip.org) [[homepage](http://camlbz2.forge.ocamlcore.org)]
+  * **ocaml-autoconf** - [autoconf](http://www.gnu.org/software/autoconf/) macros for OCaml projects
+  [[homepage](http://ocaml-autoconf.forge.ocamlcore.org)]
+  * **LablGtkSourceView** (now a part of *[LablGTK](http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html)*) -
+  OCaml bindings for [GtkSourceView](http://gtksourceview.sourceforge.net/)
+  [[homepage](http://helm.cs.unibo.it/software/lablgtksourceview/),
+  [debian package](http://packages.qa.debian.org/lablgtk2)]
+  * **LablGtkMathView** - OCaml bindings for [GtkMathView](http://helm.cs.unibo.it/mml-widget/)
+  [[homepage](http://helm.cs.unibo.it/mml-widget/), [debian package](http://packages.qa.debian.org/lablgtkmathview)]
 * **CDuce** - an XML-oriented, strongly-typed, functional programming language
 [[homepage](http://www.cduce.org), [debian
 package](http://packages.qa.debian.org/cduce)]
@@ -36,9 +31,9 @@ package](http://packages.qa.debian.org/cduce)]
   [evolution](http://www.gnome.org/projects/evolution/) address book)
   [[homepage](http://www.vim.org/scripts/script.php?script_id=1757), [debian
   package](http://packages.qa.debian.org/vim-scripts)]
-  * **OCaml support** - support for editing [OCaml](http://caml.inria.fr) code
-  (highlighting, indentation, type information query, ...), now part of the Vim
-  runtime [[homepage](http://www.ocaml.info/home/ocaml_sources.html#toc25)]
+  * **OCaml support** - support for editing OCaml code (highlighting, indentation,
+  type information query, ...), now part of the Vim runtime
+  [[homepage](http://www.ocaml.info/home/ocaml_sources.html#toc25)]
   * **Debian support** - support for editing
   [Debian](http://www.debian.org)-related files (folding, bts completion, ...),
   part of the Vim runtime or of the Vim debian package [[debian
@@ -59,9 +54,10 @@ package](http://packages.qa.debian.org/cduce)]
 
 # dormant software projects
 
-* **OCaml-HTTP** - [OCaml](http://caml.inria.fr) library for writing simple HTTP
-servers [ [[homepage|ocaml-http]], [debian
-package](http://packages.qa.debian.org/ocaml-http)]
+* **OCaml-HTTP** - OCaml library for writing simple HTTP servers
+[ [[homepage|ocaml-http]], [debian package](http://packages.qa.debian.org/ocaml-http)]
+* **Carbon** - a strict, strongly-typed, functional programming language
+[[homepage](http://home.gna.org/carbon)]
 * ([components](http://helm.cs.unibo.it/software/) of) **HELM** - a digital
 library of formalized mathematics [[homepage](http://helm.cs.unibo.it)]:
   * **UWOBO** - a XSLT processor with a web service interface