General info about Linux

• Linux WWW Resources
  concise link collection, a good start
• Linux Kernel Sources
  always the current kernel sources...
• Linux Headquarters
  latest info about the newest kernel (Changes)
• Linux Resources (TM)
  linux news, projects, software...
• The Linux Documentation Project Homepage
  collects documentation, HOWTOs, info of all sorts
• D.A. Rusling: The Linux-Kernel
  under construction, but a good introduction and free.
• Operating systems comparison
  What is Linux better in?

Source-Browser

• Linux Cross-Reference
  browse the code! (way cool!)
• Linux Source Driver
  as above, but no links to functions or variables

Z

• The World Wide Web Virtual Library: The Z notation
  good starting point for Z resources
• comp.specification.z Frequently Asked Questions
  ...
• Using Z: Specification, Refinement, and Proof
  Formal techniques and formal methods for software engineering - the book
• The Z Notation: a reference manual
  Spivey in PS or as LaTeX source
• FTP Directory: ftp://ftp.comlab.ox.ac.uk/pub/Zforum/
  Z documentation, LaTeX styles, etc.

PVS

• SRI-CSL-PVS
  official PVS page at SRI

FDR

• FDR2 - Help
  Helpfile for FDR 2.28

CVS

• Cyclic Software
  official CVS homepage and info about tkCVS
• Hen's cvsweb
  powerful web interface for CVS

Linux oddities

• The Linux Penguin
  the beast within
• Linux Banners
  for use on home pages
• Index of /BeLUG/logos/tux
  different Linux-Logos
• Linux Gallery
  the Penguin in action
• Linux Verband (LIVE)
  those, who stole our name...

ACL

• A project,
  also working on the implementation of ACLs for ext2.