xima 5.42.1 Manual: 75. operatingsystem</title>

<meta name="description" content="Maxima 5.42.1 Manual: 75. operatingsystem">
<meta name="keywords" content="Maxima 5.42.1 Manual: 75. operatingsystem">
<meta name="resource-type" content="document">
<meta name="distribution" content="global">
<meta name="Generator" content="texi2html 1.76">
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<style type="text/css">
<!--
a.summary-letter {text-decoration: none}
pre.display {font-family: ser