| 
View
 

FrontPage

This version was saved 17 years, 11 months ago View current version     Page history
Saved by PBworks
on December 30, 2006 at 8:10:36 pm
 

OCaml user wiki

 

This wiki is an informal space for discussions and open collaborations related to the use of the OCaml programming language. It is suitable for small or young projects that don't have a dedicated website or mailing-list.

 

Anyone can edit this wiki, the password is the name of the bytecode compiler.

 

Suggestion: keep the formatting simple. It makes the transfer to another site easier.

 

See also:

 

Topics

 

  • Micmatch: safer regexps for everyday text processing
  • Ocamlscript: write a script, run a native-compiled executable
  • Col: easy and safe IO for lists of records stored as CSV files
  • Caml-get: distribute and get Objective-Caml code, in a way similar to the apt-get utility.
  • Camlp4 tricks
  • Lablgtk2 tricks

 

Using this wiki:

 

 

 

 

 

Special hacks

 

This wiki has been the target of vandalism. The spammers added a few hundreds of files that were following a simple pattern. Since pbwiki doesn't provide a way of selecting and removing all the files at once, we have to do it ourselves, while being logged in. Here is some javascript that can do the job (it won't work in IE for sure, and worked in opera; may work in firefox, but I haven't tried):

 

  1. First, you must adapt the code below to go through the list of files that you really want to delete.
  2. Then, type "javascript:" in the URL box of your browser (without the quotes), and paste the javascript code below after having made the changes.

 var wikiname = 'ocaml';
 var xmlhttp = new XMLHttpRequest();
 
 function http_get (url) {
   xmlhttp.open("GET", url, true);
   xmlhttp.send(null);
 }
 
 for (var i = 0; i <= 600; i++) { 
   var file = 'index' + i + '.html';
   var url = 
     'http://' + wikiname + '.pbwiki.com/del.php?really=1&o=f&f=' + file + 
     '&image.x=10&image.y=6';
   http_get(url);
 }

Comments (0)

You don't have permission to comment on this page.