ad58ae4 | fclement | 23 November 2010, 11:33:06 UTC | Ignore all generated files. | 23 November 2010, 11:33:06 UTC |
46f23e8 | fclement | 07 April 2010, 15:25:05 UTC | Phrasing. | 07 April 2010, 15:25:05 UTC |
d529c4a | fclement | 07 April 2010, 14:56:50 UTC | Warning: obsolete version. | 07 April 2010, 14:56:50 UTC |
a61b5dd | fclement | 07 April 2010, 14:02:33 UTC | New Htmlc syntax + CamlP3l -> OCamlP3l. | 07 April 2010, 14:02:33 UTC |
d8dbc57 | dicosmo | 24 November 2008, 19:44:05 UTC | Added partial fix for originally broken reducevector template, found and submitted by Nicoletta Triolo <triolo@di.unipi.it> | 24 November 2008, 19:44:05 UTC |
027d977 | weis | 31 October 2008, 08:46:29 UTC | Numerous typos and minor corrections. | 31 October 2008, 08:46:29 UTC |
793f921 | weis | 29 July 2007, 18:55:38 UTC | A working version of the Mandelbrot program. | 29 July 2007, 18:55:38 UTC |
10fc74a | weis | 29 July 2007, 18:52:33 UTC | Confusions to adress the ocamlp3l compiler. | 29 July 2007, 18:52:33 UTC |
9b1d932 | weis | 04 February 2007, 19:41:12 UTC | More camlp3l aware cvsignore. | 04 February 2007, 19:41:12 UTC |
6e2abcc | weis | 04 February 2007, 19:39:41 UTC | No SUB_DIRS here for the time being. Also camlp3l compilers are no more in debug mode. | 04 February 2007, 19:39:41 UTC |
f4ff793 | weis | 04 February 2007, 19:25:01 UTC | Need one. | 04 February 2007, 19:25:01 UTC |
35e3445 | weis | 04 February 2007, 19:23:35 UTC | Decomposing mandels into a pure Caml part and a camlp3l one. | 04 February 2007, 19:23:35 UTC |
c5b7d77 | fclement | 30 January 2007, 21:39:33 UTC | Documentation. | 30 January 2007, 21:39:33 UTC |
4c6396d | fclement | 30 January 2007, 19:44:45 UTC | Factorize compiling command flags. | 30 January 2007, 19:44:45 UTC |
1863035 | fclement | 29 January 2007, 16:06:44 UTC | Be sure to run the local OCamlP3l compiler. | 29 January 2007, 16:06:44 UTC |
5118443 | fclement | 29 January 2007, 16:04:12 UTC | Run all three versions. | 29 January 2007, 16:04:12 UTC |
ac16f12 | weis | 24 January 2007, 14:34:18 UTC | Details. | 24 January 2007, 14:34:18 UTC |
d629e69 | fclement | 24 January 2007, 14:00:11 UTC | Cleaning. | 24 January 2007, 14:00:11 UTC |
87d9d09 | fclement | 24 January 2007, 13:53:40 UTC | Dont ignore this one. | 24 January 2007, 13:53:40 UTC |
251d491 | fclement | 24 January 2007, 13:51:32 UTC | Warning for installation of OCamlP3l libraries. | 24 January 2007, 13:51:32 UTC |
c1f4238 | fclement | 24 January 2007, 13:51:02 UTC | All cvs checkout commands must use -P option to prune empty dirs | 24 January 2007, 13:51:02 UTC |
eae6af2 | fclement | 24 January 2007, 11:54:33 UTC | Also bannerize Makefiles. | 24 January 2007, 11:54:33 UTC |
a5cd9e4 | weis | 24 January 2007, 07:47:23 UTC | Makefiles for BSD. | 24 January 2007, 07:47:23 UTC |
4bb4ce1 | weis | 24 January 2007, 07:34:50 UTC | For BSD. | 24 January 2007, 07:34:50 UTC |
eee966a | weis | 23 January 2007, 17:24:49 UTC | Need a CVSROOT to checkout. | 23 January 2007, 17:24:49 UTC |
4fa4610 | weis | 23 January 2007, 17:21:23 UTC | Oups, forgot that one. | 23 January 2007, 17:21:23 UTC |
c38b0d6 | weis | 23 January 2007, 17:13:34 UTC | Abstract cvs command. | 23 January 2007, 17:13:34 UTC |
5c7e7f3 | weis | 23 January 2007, 17:05:28 UTC | *** empty log message *** | 23 January 2007, 17:05:28 UTC |
a13bc36 | weis | 23 January 2007, 16:48:36 UTC | Retag target. | 23 January 2007, 16:48:36 UTC |
d1b8600 | weis | 23 January 2007, 16:42:33 UTC | FTP distribution on pauillac. | 23 January 2007, 16:42:33 UTC |
cebd370 | weis | 23 January 2007, 16:21:05 UTC | Announce. | 23 January 2007, 16:21:05 UTC |
f802ce5 | weis | 23 January 2007, 16:20:54 UTC | Typos. | 23 January 2007, 16:20:54 UTC |
b60a30e | weis | 23 January 2007, 16:20:38 UTC | Removed file. | 23 January 2007, 16:20:38 UTC |
bf73a21 | weis | 23 January 2007, 15:58:18 UTC | Banners + rm. | 23 January 2007, 15:58:18 UTC |
105eedc | weis | 23 January 2007, 15:52:14 UTC | Ignoring compiled banners. | 23 January 2007, 15:52:14 UTC |
4bb535f | weis | 23 January 2007, 15:50:04 UTC | Banners. | 23 January 2007, 15:50:04 UTC |
d6abd49 | weis | 23 January 2007, 15:20:22 UTC | Maj README. | 23 January 2007, 15:20:22 UTC |
216a721 | weis | 23 January 2007, 15:13:21 UTC | Use the new OCamlP3l compiler. | 23 January 2007, 15:13:21 UTC |
de69238 | weis | 23 January 2007, 14:59:16 UTC | Ftp site. | 23 January 2007, 14:59:16 UTC |
6f8e938 | weis | 23 January 2007, 14:29:40 UTC | Clean-all target. | 23 January 2007, 14:29:40 UTC |
7d20a4b | weis | 23 January 2007, 14:28:55 UTC | Versionning. | 23 January 2007, 14:28:55 UTC |
f7c2179 | weis | 23 January 2007, 14:15:24 UTC | Build release. | 23 January 2007, 14:15:24 UTC |
df10e3d | weis | 23 January 2007, 14:15:10 UTC | Need a definition for type io. | 23 January 2007, 14:15:10 UTC |
fdd4214 | weis | 23 January 2007, 14:02:37 UTC | Website distribution. | 23 January 2007, 14:02:37 UTC |
5b19af3 | weis | 23 January 2007, 14:01:56 UTC | We are communicating here\! | 23 January 2007, 14:01:56 UTC |
fc81d2d | weis | 23 January 2007, 13:04:03 UTC | *** empty log message *** | 23 January 2007, 13:04:03 UTC |
53b2f45 | weis | 23 January 2007, 13:03:32 UTC | Cleaning doc directory. | 23 January 2007, 13:03:32 UTC |
a4be94b | weis | 23 January 2007, 11:31:46 UTC | Typos & HTML errors. | 23 January 2007, 11:31:46 UTC |
8ce08fd | weis | 23 January 2007, 11:31:07 UTC | Needed for BSD. | 23 January 2007, 11:31:07 UTC |
1488369 | weis | 23 January 2007, 10:24:44 UTC | Big changes. | 23 January 2007, 10:24:44 UTC |
6523300 | weis | 23 January 2007, 10:13:52 UTC | Small changes. | 23 January 2007, 10:13:52 UTC |
1379d3c | fclement | 22 January 2007, 18:26:18 UTC | Distribution. | 22 January 2007, 18:26:18 UTC |
ad54fe0 | fclement | 22 January 2007, 16:57:10 UTC | Going on... | 22 January 2007, 16:57:10 UTC |
9145004 | fclement | 22 January 2007, 15:18:44 UTC | New (generic) names. | 22 January 2007, 15:18:44 UTC |
33b2ebf | fclement | 22 January 2007, 15:16:32 UTC | Maj paper list. | 22 January 2007, 15:16:32 UTC |
89f4711 | fclement | 22 January 2007, 14:18:15 UTC | Distribution. | 22 January 2007, 14:18:15 UTC |
ef47e2a | fclement | 22 January 2007, 14:04:48 UTC | French version updated. | 22 January 2007, 14:04:48 UTC |
309bac6 | weis | 11 January 2007, 12:11:55 UTC | Added some index and make files. | 11 January 2007, 12:11:55 UTC |
8db31d6 | weis | 11 January 2007, 11:45:16 UTC | The indexx files to access the sub directories where papers are. | 11 January 2007, 11:45:16 UTC |
9fdaa50 | zli | 11 January 2007, 10:44:07 UTC | Now the default file extensions for OcamlP3l change to be .3l .3li | 11 January 2007, 10:44:07 UTC |
becbe93 | zli | 11 January 2007, 09:10:28 UTC | Now all command handels -v -version --version -help --help by Ocamlp3l itself. | 11 January 2007, 09:10:28 UTC |
d17e328 | weis | 10 January 2007, 18:17:21 UTC | Rewriting of the Tools diretory tools. | 10 January 2007, 18:17:21 UTC |
174f385 | fclement | 10 January 2007, 17:12:30 UTC | Unconfigure target takes care of the unconfiguraton. Always add sleep 1 before touching a .depend-rebuild. | 10 January 2007, 17:12:30 UTC |
a137880 | fclement | 10 January 2007, 15:58:01 UTC | Rm. | 10 January 2007, 15:58:01 UTC |
f39567a | zli | 09 January 2007, 22:50:28 UTC | Adapte the path convention to reflect the new changement in makefile Now we stick to the standard library +ocamlp3l | 09 January 2007, 22:50:28 UTC |
aef7d19 | zli | 09 January 2007, 22:06:36 UTC | Add .3ml .3mli suffix support | 09 January 2007, 22:06:36 UTC |
ca91a5f | fclement | 09 January 2007, 19:47:03 UTC | Simplify makefiles. | 09 January 2007, 19:47:03 UTC |
8b79040 | weis | 09 January 2007, 19:11:43 UTC | Erroneous syntax error. | 09 January 2007, 19:11:43 UTC |
312efe5 | fclement | 09 January 2007, 18:08:24 UTC | Mv. | 09 January 2007, 18:08:24 UTC |
f8d61e9 | fclement | 09 January 2007, 18:06:59 UTC | Rm. | 09 January 2007, 18:06:59 UTC |
548dc23 | fclement | 09 January 2007, 17:56:24 UTC | Rm. | 09 January 2007, 17:56:24 UTC |
1cbdc81 | fclement | 11 December 2006, 18:39:04 UTC | Adding documentation, in particular a website. | 11 December 2006, 18:39:04 UTC |
58f0790 | fclement | 08 December 2006, 18:33:08 UTC | Makefile for distribution. | 08 December 2006, 18:33:08 UTC |
8e30407 | fclement | 08 December 2006, 18:29:50 UTC | Rm. | 08 December 2006, 18:29:50 UTC |
1f8b7b3 | fclement | 08 December 2006, 18:29:07 UTC | Sources for the generation of the documentation and website. | 08 December 2006, 18:29:07 UTC |
117a215 | fclement | 08 December 2006, 16:52:28 UTC | Module Version handles the version number! | 08 December 2006, 16:52:28 UTC |
aa21bf5 | fclement | 08 December 2006, 15:45:39 UTC | Twiddling makefiles. | 08 December 2006, 15:45:39 UTC |
cdecc28 | fclement | 08 December 2006, 15:17:12 UTC | Rm. | 08 December 2006, 15:17:12 UTC |
7a91c6b | weis | 04 December 2006, 17:58:03 UTC | Debugging the discurse + merging new Running.tex with current inlined version in UserManual.tex. | 04 December 2006, 17:58:03 UTC |
b575816 | weis | 04 December 2006, 17:56:11 UTC | Using Running.tex (via an input command). | 04 December 2006, 17:56:11 UTC |
57a3ee9 | weis | 28 November 2006, 22:03:55 UTC | *** empty log message *** | 28 November 2006, 22:03:55 UTC |
ea4216f | weis | 28 November 2006, 22:00:14 UTC | Adding a bit less error prone tech in makefiles. | 28 November 2006, 22:00:14 UTC |
f0be2ec | weis | 27 November 2006, 19:02:26 UTC | A lot of simplifications + automatic banner handling in directory Source. | 27 November 2006, 19:02:26 UTC |
7c905b4 | weis | 27 November 2006, 19:00:37 UTC | Bannerize. | 27 November 2006, 19:00:37 UTC |
f0d1766 | weis | 27 November 2006, 18:55:06 UTC | Need a banner file. | 27 November 2006, 18:55:06 UTC |
72a358c | weis | 27 November 2006, 18:51:15 UTC | Generated binary file should not spoil the CVS repository. | 27 November 2006, 18:51:15 UTC |
b728514 | weis | 27 November 2006, 18:48:36 UTC | Some cleaning. | 27 November 2006, 18:48:36 UTC |
9696283 | weis | 27 November 2006, 18:47:17 UTC | Got rid of Camlp4 (spurious) dependencies. Makefile modified. | 27 November 2006, 18:47:17 UTC |
95fa9ec | weis | 06 October 2006, 13:03:17 UTC | Forgotten server sources for both models. | 06 October 2006, 13:03:17 UTC |
f883cad | weis | 06 October 2006, 13:00:09 UTC | Do not forget the .o object files. | 06 October 2006, 13:00:09 UTC |
f010ff4 | weis | 06 October 2006, 12:56:43 UTC | Get rid of broken camlp4 extensions usage. Get rid of broken stinky Makefile trickeries. | 06 October 2006, 12:56:43 UTC |
311c208 | fclement | 21 September 2006, 16:03:17 UTC | Don't forget the links. | 21 September 2006, 16:03:17 UTC |
6ee5d28 | fclement | 21 September 2006, 15:57:14 UTC | Switch back to old installation scheme. | 21 September 2006, 15:57:14 UTC |
4442830 | fclement | 21 September 2006, 15:54:59 UTC | Rewrite option test. | 21 September 2006, 15:54:59 UTC |
671ed42 | fclement | 21 September 2006, 15:23:30 UTC | Abstract PREFIX and fix uninstall target. | 21 September 2006, 15:23:30 UTC |
fd0c837 | fclement | 04 July 2006, 15:51:57 UTC | Documented the new necessary "make configure" first step for compilation. | 04 July 2006, 15:51:57 UTC |
f407104 | fclement | 04 July 2006, 15:48:50 UTC | Better typing of combinators. Added .mli files to modules. Makefile technology revisited (a bit). | 04 July 2006, 15:48:50 UTC |
1802f09 | weis | 02 May 2006, 12:34:19 UTC | Adding proper compile flags to the Caml compilers. | 02 May 2006, 12:34:19 UTC |
70722f5 | fclement | 07 April 2006, 14:25:56 UTC | Defining the pipeline skeleton! | 07 April 2006, 14:25:56 UTC |
f128d06 | fclement | 27 February 2006, 15:59:24 UTC | Typo. | 27 February 2006, 15:59:24 UTC |