GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - StarExec/Web-Interface: StarExec Web Interface Documentation

BranchesTags
Open more actions menu

Latest commit

 

History

19 Commits
19 Commits

Folders and files

NameName
Last commit message
Last commit date
.github
.github
 
 
chapters
chapters
 
 
.gitignore
.gitignore
 
 
.travis.yml
.travis.yml
 
 
Makefile
Makefile
 
 
README.markdown
README.markdown
 
 
WebInterface.tex
WebInterface.tex
 
 

Repository files navigation

StarExec Web Interface

This is the documentation for StarExec's web interface

Downloading

If you just want to download the compiled PDF documentation, that document can be found in the releases section.

Building

Building requires pdflatex and a fairly full TeX installation. If all required packages are installed, a PDF can be generated using:

make PDF

About

StarExec Web Interface Documentation

www.starexec.org

Topics

documentationlatex-document

Resources

Readme
Activity
Custom properties

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

Packages

Contributors

Languages

You are visitor 01402520 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.