Back to Results
First PageMeta Content
Scripting languages / Environment variable / Cygwin / Path / Shell script / Filename / Home directory / Batch file / Software / Computing / System software


Document Date: 2014-08-27 06:04:04

Open Document

File Size: 549,68 KB

Share Result on Facebook

Company

Isabelle / Proof General / /

IndustryTerm

platform-dependent tools / component-specific tools / file startup / search path / basic infrastructure / build management / getenv tool / /

OperatingSystem

Unix / Cygwin / Microsoft Windows / GNU / /

Person

Stefan Berghofer / /

Position

EDITOR / line editor for the isabelle console interface / /

ProgrammingLanguage

LATEX / XML / Java / ML / HTML / Scala / /

Technology

XML / Java / Linux / Unix / operating system / HTML / PDF / /

SocialTag