products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/jEdit/org/gjt/sp/jedit/bsh/package.html |
 |
<html>
<head> <title> Beanshell package </title></head>
<body>
<p> Lightweight Scripting for Java. <a href="http://www.beanshell.org/">www.beanshell.org</a> </p>
<p>
This project has been dead since 2005, probably because JavaScript has been added to
the JDK providing an alternate scripting language that is already built-in.
Even though it is used in many parts of jEdit's code, we do not plan to maintain it
or make any major changes to it beyond what has already been done. </p>
</body></html>
¤ Dauer der Verarbeitung: 0.16 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|