The Control Center provides you with a single window that houses all of the major Ubuntu MATE preference tools. These tools let you tweak th...
Read More
Ubuntu MATE's applications pre-installed: MATE terminal.
MATE Terminal is a terminal emulation application that can be found in the Ubuntu MATE menus at Menu > System Tools > MATE Terminal ...
Read More
ACL2 Guide to Logic and Programming Language: introduction.
ACL2 is an interactive theorem prover. It combines a Lisp-based programming language for developing formal models of systems with a reaso...
Read More
Ubuntu MATE's applications pre-installed: Baobab & MATE System monitor.
MATE Disk Usage Analyzer (Baobab) The MATE Disk Usage Analyzer , found at Menu > System Tools > MATE Disk Usage Analyzer , is a g...
Read More
Subscribe to:
Posts
(
Atom
)