How to Install and Uninstall proofgeneral-doc Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 06,2024

1. Install "proofgeneral-doc" package

This guide covers the steps necessary to install proofgeneral-doc on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                proofgeneral-doc
            
                    
    
    Copied

2. Uninstall "proofgeneral-doc" package

Learn how to uninstall proofgeneral-doc on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                proofgeneral-doc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the proofgeneral-doc package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: proofgeneral-doc
Priority: optional
Section: universe/doc
Installed-Size: 2107
Maintainer: Ubuntu Developers
Original-Maintainer: Hendrik Tews
Architecture: all
Source: proofgeneral
Version: 4.3~pre131011-0.2
Replaces: proofgeneral (<< 4)
Recommends: info-browser | pdf-viewer | www-browser
Suggests: proofgeneral
Breaks: proofgeneral (<< 4)
Filename: pool/universe/p/proofgeneral/proofgeneral-doc_4.3~pre131011-0.2_all.deb
Size: 680856
MD5sum: e6740d08d8876b4eb2826b76d83486b3
SHA1: dee81fa3211d69b3a2770c5953dab6a65f6eabbd
SHA256: 1e32b5db408780bb2b60d612cdd663f3977227b69f25f0d3cc45ba3b02b4a8fc
Description-en: generic frontend for proof assistants - documentation
Proof General is a major mode to turn Emacs into an interactive proof
assistant to write formal mathematical proofs using a variety of
theorem provers.
.
This package provides the Proof General user manual in info, html and
pdf form.
Description-md5: cdd14456c76d5e2c98c64600689dd506
Homepage: http://proofgeneral.inf.ed.ac.uk
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu