Re: Update Documentation: Including install procedure
"Sasvata (Shash) Chatterjee" <[email protected]>
| Newsgroups | gmane.comp.java.keel.devel |
|---|---|
| Message-ID | <[email protected]> |
Mike, >You've been Shanghaid? :-) > > Yup, but not quite that bad! I just read in a guide book, that meant to literally "be drugged and kidnapped to serve against will on a ship, usually a pirate ship" :-) >Only when we do a maven keel:maven. As far as I can see, we are in the >process of obsoleting ant.properties altogether though. It's just as >easy to add dependencies directly to project.xml, then there's only one >thing to keep up-to-date. Especially when you get the Mevenide plugin, >which has a project.xml-aware editor. > > > Can we nuke these ASAP, then. The less things to keep sunc up, the better off we will be. If you want delete them, or give me the green signal, and I'll do the honors. >? Not sure about this one. The maven tool is now built into the Keel >maven plugin. You can install directly with the plugin:download goal >(latest version is 1.2.2 - fixes a bug building under windows) > > > I got 1.2.0, I think, following the doc. I will get 1.2.2. >Thanks for the feedback, and enjoy your trip! > > > Thanks...will do, this is a fantastic city, particulalry if you like Chinese food :-). Very few people speak English, though. http://keelframework.org/documentation.shtml Keelgroup mailing list [email protected] http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com