JMLspecs-ESCJava -- Discussion of ESC/Java

 

About JMLspecs-ESCJava
English (USA)

This list is a discussion of all topics related to ESC/Java. Currently most of the discussion is about the development of code that adapts ESC/Java to fit into JML's syntax better.

To see the collection of prior postings to the list, visit the JMLspecs-ESCJava Archives.

Using JMLspecs-ESCJava
To post a message to all the list members, send email to jmlspecs-escjava@lists.sourceforge.net.

You can subscribe to the list, or change your existing subscription, in the sections below.

Subscribing to JMLspecs-ESCJava

Subscribe to JMLspecs-ESCJava by filling out the following form. You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. This is a hidden list, which means that the list of members is available only to the list administrator.

    Your email address:  
    Your name (optional):  
    You may enter a privacy password below. This provides only mild security, but should prevent others from messing with your subscription. Do not use a valuable password as it will occasionally be emailed back to you in cleartext.

    If you choose not to enter a password, one will be automatically generated for you, and it will be sent to you once you've confirmed your subscription. You can always request a mail-back of your password when you edit your personal options.

    Pick a password:  
    Reenter password to confirm:  
    Which language do you prefer to display your messages? English (USA)  
    Would you like to receive list mail batched in a daily digest? No Yes

JMLspecs-ESCJava Subscribers
(The subscribers list is only available to the list administrator.)

Enter your admin address and password to visit the subscribers list:

Admin address: Password:   

To unsubscribe from JMLspecs-ESCJava, get a password reminder, or change your subscription options enter your subscription email address:

If you leave the field blank, you will be prompted for your email address


JMLspecs-ESCJava list run by leavens at users.sourceforge.net, kiniry at users.sourceforge.net, cclifton at users.sourceforge.net, cheon at users.sourceforge.net, robby_sf at users.sourceforge.net, chalin at users.sourceforge.net, davidcok at users.sourceforge.net
JMLspecs-ESCJava administrative interface (requires authorization)
Overview of all lists.sourceforge.net mailing lists
SlashdotMedia Privacy Statement

Delivered by Mailman
version 2.1.9
Python Powered GNU's Not Unix