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 |
75986bd | weis | 23 February 2006, 08:31:07 UTC | options becomes command_options. | 23 February 2006, 08:31:07 UTC |
1d7b8c8 | weis | 23 February 2006, 07:38:24 UTC | More up-to-date .cvsignore files. Renamed module options to command_options to avoid naming conflict with applications written with camlp3l. | 23 February 2006, 07:38:24 UTC |
b63b5f4 | weis | 20 February 2006, 12:58:53 UTC | Definition insidemake could loop for ever creating a non limited number of processes. | 20 February 2006, 12:58:53 UTC |
11f988b | zli | 07 February 2006, 21:05:50 UTC | ignore ocamlp3lcc | 07 February 2006, 21:05:50 UTC |
9fee4ff | zli | 07 February 2006, 20:59:31 UTC | *** empty log message *** | 07 February 2006, 20:59:31 UTC |
927fd08 | zli | 07 February 2006, 19:46:23 UTC | *** empty log message *** | 07 February 2006, 19:46:23 UTC |
c44b119 | zli | 07 February 2006, 14:43:09 UTC | *** empty log message *** | 07 February 2006, 14:43:09 UTC |
96a4b74 | zli | 07 February 2006, 14:42:15 UTC | *** empty log message *** | 07 February 2006, 14:42:15 UTC |
452faa4 | zli | 07 February 2006, 14:41:11 UTC | Bug fix: error in computing color value of seq skeleton. | 07 February 2006, 14:41:11 UTC |
60f8037 | zli | 07 February 2006, 14:38:59 UTC | A serious enhancement to avoide Stack Overflow problem when deep recursion happens in sequetial model. Now the exception for the end of stream becomes P3lstream.End_of_stream, to follow the standard OCaml naming convention and avoid memorize effort. | 07 February 2006, 14:38:59 UTC |
cb3df36 | zli | 07 February 2006, 14:36:20 UTC | Now the exception for the end of stream becomes P3lstream.End_of_stream, to follow the standard OCaml naming convention and avoid memorize effort. | 07 February 2006, 14:36:20 UTC |
c1c3cfc | zli | 07 February 2006, 14:32:49 UTC | Reducevector has never been implemented for graphics semantics (why?), now we have it! Bug fix: the captions of emittor/collector nodes. | 07 February 2006, 14:32:49 UTC |
7072fb6 | zli | 07 February 2006, 14:30:46 UTC | Eliminate a unused variable, thanks to the new warning feature of OCaml 3.09 | 07 February 2006, 14:30:46 UTC |
7d326e8 | zli | 07 February 2006, 14:26:31 UTC | Changes corresponding to the new OcamlP3l compilers | 07 February 2006, 14:26:31 UTC |
b53001b | zli | 07 February 2006, 14:21:44 UTC | New refinement of Makefiles, more generic and short :) | 07 February 2006, 14:21:44 UTC |