Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
eadb0615
Commit
eadb0615
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2007-05-22 06:58:47 by afrisch] Empty log message
Original author: afrisch Date: 2007-05-22 06:58:47+00:00
parent
2cc07b66
Changes
2
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
eadb0615
...
...
@@ -35,7 +35,7 @@ charme_build:
install_web_distant
:
$(MAKE)
webpages
scp
CHANGES
INSTALL INSTALL.WIN32 web/www/
*
.html web/demo.js web/cduce.css cduce@trefle.ens.fr:public_html/
rsync
-acvz
CHANGES INSTALL INSTALL.WIN32 web/www/
*
.html web/demo.js web/cduce.css cduce@trefle.ens.fr:public_html/
SCRIPT
=
INCLUDES_DEB
=
$(INCLUDES)
$(
shell
ocamlfind query
-i-format
-recursive
$(PACKAGES)
)
...
...
web/ocaml.xml
View file @
eadb0615
...
...
@@ -1341,6 +1341,14 @@ an Atom feed suitable for aggregation.
Lampe: an implementation of a SOAP server for OCaml, designed to allow
a service, developed in OCaml, to be made available as a SOAP service
with minimal effort.
</li>
<li>
<a
href=
"http://www-verimag.imag.fr/~synchron/aadl4ocaml/"
>
AADL4Ocaml
</a>
by Erwan Jahier and Louis Mandel: a parser for a subset of the
AADL language (Architecture Analysis
&
Design Language).
</li>
</ul>
</box>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment