July 3, 2025

Ubuntu MATE's applications pre-installed: MATE control center.

›
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...
July 2, 2025

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 ...
July 1, 2025

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...

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...
June 30, 2025

Ubuntu MATE's applications pre-installed: Power Management.

›
Strategies for Maximizing Battery Life Today you can install Linux on almost any computer hardware -- Mac or Windows PC. With a compute...
June 29, 2025

Ubuntu MATE's applications pre-installed: Display Settings.

›
Multiple Displays Ubuntu MATE makes connecting multiple monitors and changing the resolution quite easy. Changing monitor preferences i...
June 28, 2025

Ubuntu MATE's applications pre-installed: Desktop, Panel, and Menu Icons

›
Create Application Icons From the Menus Ubuntu MATE makes it very easy to add icons, also referred to as shortcuts or launchers, to your...
June 27, 2025

Ubuntu MATE's applications pre-installed: Window Controls, Desktop background, Themes & Panels.

›
Changing the Location of the Window Controls Another quick way to adjust the look of your Ubuntu MATE desktop is to change the location of...
June 26, 2025

Ubuntu MATE's applications pre-installed: personalizing ubuntu MATE & Panel Layouts.

›
Personalizing ubuntu MATE Although you can do some basic tweaking out of the box with other operating systems, Linux is infinitely more ...