Differences

This shows you the differences between two versions of the page.

--- start [2013/12/31 15:27]
admin
+++ start [2022/01/03 16:12] (current)
@@ Line 1: / Line 1: @@
 **Welcome to SciOS Scientific Operating Systems GmbH**
-a privately held research, development and consulting company located near Gachnang, Switzerland.
+a research, development and consulting company located near Gachnang, Switzerland.
 \\
+{{:logo2.png}}
 == NEWS ==
-''Python 3'' on Android tablets [[py34a_howto|howto]]. Needed for XSI4A. \\
+- [[https://aisys.ch/hub/login | JupyterHub (temp. out of service)]]  (Request credentials by Contract-IDX) \\
+- Node.js v11.6, SOCKET.IO 2.0 (enables real-time, bidirectional and event-based communication for XSI+.) \\
+- [[http://xps.scios.ch/inet/| CLIPS/COOL BPG]] \\
+- Test online (BPG above): [[http://edu.scios.ch/clips_js/]] \\
+- Coq verified XSI/COOL code available (defclass/defmethod). \\
+- Docker XSI images [[https://hub.docker.com/account/login/|Login]] \\
+- TOPCASED/PolarSys [[http://www.topcased.org/|(topcased.org)]] \\
+- preview: [[https://www.polarsys.org/solutions/papyrus|Polarsys/Papyrus]] \\
+- NW.js v0.34.3 SDK, call modules directly from DOM ([[http://nwjs.io/|update]] to use with XSI 2.6+). \\
+\\
+\\
+''Python 3'' on Android tablets [[py34a_howto|howto]]. Required for XSI4A. \\
 \\
 Latest releases: \\
-- SciOS [[xsi_clips | XSI/CLIPS]] V 2.0.4 [ST-100MB] (Rel. 30-DEC-2013), [[http://www.scios.ch/authorize/index.php|download]])) \\
+- SciOS [[xsi_clips | XSI/CLIPS]] V 2.6.5 [ST-100MB] (Rel. 01-JAN-2022), [[http://www.scios.ch/authorize/index.php|download]])) \\
-- SciOS [[xsi_plus | XSI+]] V 2.0.4 (Win32/Ux, Rel. 22-NOV-2013) \\
+- SciOS [[xsi_plus | XSI+]] V 2.8.5 (Win32/64/Ux*/OpenVMS, Rel. 01-JAN-2022) \\
-- XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.4 (Rel. 07-JAN-2013), NEW:MinGW/MSYS version\\
+- XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.8.5 (Rel. 01-JAN-2022), (MinGW/MSYS version)\\
-- XSI 2.1 (Rel. 21-JUL-2013) (needs PostgreSQL 9.2.4)
+- XSI+ 2.8.5 (Rel. 01-JAN-2022) (requires PostgreSQL >= 12.1, recommended V 14.1)
 \\
-- Axiom plugin suite 1.1 for WikidPad, IPython Qt/Nb, TeXmacs, WAX. \\
+The following tools (min versions) are compatible with XSI+ 2.8.5+: \\ \\
-- Python Power Shell [wx], Rel. 10-JUL-2012 \\
+- [[http://www.texmacs.org/tmweb/download/windows.en.html|TeXmacs 1.99.5]]\\
+- [[http://www.sphinx-doc.org/en/stable/|Sphinx 1.8.+]]\\
+- [[http://jupyter.org/|Jupyter 4.3 (xsi kernel)]] \\
+- [[http://root.cern.ch|ROOT 6.24/06]]\\
+- [[http://coq.inria.fr/coq-87|Coq 8.13.+]], (see xsi-grp-npl, alternative proof language removed!!)\\
 \\
-The following tools (min versions) are compatible with XSI 2.1: \\ \\
+- [[https://agraef.github.io/pure-lang/| Pure language]], (term rewriting) :: Pure V0.68  \\
-- [[http://www.texmacs.org/tmweb/download/windows.en.html|TeXmacs 1.0.7.18]]\\
+- [[http://www.paraview.org/| ParaView 5.6+]] \\
-- [[http://ipython.org/|IPython 0.13.2 or 1.0dev]] \\
+- [[http://www.sagemath.org/| Sage 9.+]], * Windows binary installer [[https://github.com/sagemath/sage-windows/releases]]
-- [[http://root.cern.ch/drupal/content/production-release-53400|ROOT 5.34.09]]\\
-- [[http://coq.inria.fr/coq-84|Coq 8.4]]\\
 \\
-- [[https://code.google.com/p/pure-lang/|Pure V0.57]] (NEW:for L-term rewriting) \\
-- [[http://yacas.sourceforge.net/backups/yacas-1.3.3.tar.gz| Yacas 1.3.3]] \\
-- [[http://fricas.sourceforge.net/download.html| Fricas 1.2.1 (incl. cygwin)]] \\
-- [[http://www.paraview.org/| ParaView 4.0.1]] \\
-- [[http://www.sagemath.org/| Sage 5.10]], Windows users pls see [[http://wiki.sagemath.org/SageAppliance]]
 \\
-[[news|older news ...]]
+[[news|archived news ...]]
-\\
-Use hg.scios.ch for up-to-date sources. \\
 \\
 To **contact** us, please use this [[contact_form|form]]