[statet-dev] 2018-12

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[statet-dev] 2018-12

From: Dennis Gesker <dennis@xxxxxxxxxx>
Date: Thu, 20 Dec 2018 07:48:31 -0700
Delivered-to: statet-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/statet-dev>
List-help: <mailto:statet-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/statet-dev>, <mailto:statet-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/statet-dev>, <mailto:statet-dev-request@eclipse.org?subject=unsubscribe>

Hello StatET List:

Just curious if StatET will be updated and available for each quarterly release of Eclipse.

Thanks,

Dennis

Dennis R. Gesker

“Be without fear in the face of your enemies. Be brave and upright that God may love thee. Speak the truth always, even if it leads to your death. Safeguard the helpless and do no wrong – that is your oath.” -The Knight’s Oath (Kingdom of Heaven)

Prev by Date: Welcome to statet-dev
Next by Date: [statet-dev] StatET installation Eclipse 2018-12
Previous by thread: Welcome to statet-dev
Next by thread: [statet-dev] StatET installation Eclipse 2018-12
Index(es):
- Date
- Thread

Breadcrumbs