1.1 --- a/bib	Mon Apr 12 10:52:59 2010 +0200
     1.2 +++ b/bib	Mon Apr 12 14:11:39 2010 +0200
     1.3 @@ -43,6 +43,14 @@
     1.4  
     1.5  %L Brooks
     1.6  %A Frederick P. Brooks, Jr.
     1.7 +%T The Mythical Man-Month: Essays on Software Engineering
     1.8 +%D 1995
     1.9 +%V Anniversary Edition
    1.10 +%I Addison Wesley Longman, Inc.
    1.11 +%O \s-1ISBN\s0: 0-201-83595-9
    1.12 +
    1.13 +%L Brooks
    1.14 +%A Frederick P. Brooks, Jr.
    1.15  %T No Silver Bullet: Essence and Accidents of Software Engineering
    1.16  %B Information Processing 1986, the Proceedings of the IFIP Tenth World Computing Conference
    1.17  %D 1986
    1.18 @@ -73,7 +81,8 @@
    1.19  
    1.20  %A Ken Thompson
    1.21  %A Dennis M. Ritchie
    1.22 -%T Unix Programmer's Manual, First Edition
    1.23 +%T Unix Programmer's Manual
    1.24 +%V First Edition
    1.25  %D 1971-11-03
    1.26  %P mail(1)
    1.27  %O Online: \f(CW\s-1 http://cm.bell-labs.com/cm/cs/who/dmr/pdfs/man12.pdf
    1.28 @@ -124,3 +133,17 @@
    1.29  %D 2009-07-15
    1.30  %I LWN.net
    1.31  %O Online: \f(CW\s-1 http://lwn.net/Articles/341245/
    1.32 +
    1.33 +%L nmh
    1.34 +%T Website of nmh
    1.35 +%O Online: \f(CW\s-1 http://nmh.nongnu.org
    1.36 +
    1.37 +%L uzbl
    1.38 +%T Website of uzbl
    1.39 +%O Online: \f(CW\s-1 http://uzbl.org
    1.40 +
    1.41 +%A DigDuality (posted by timothy)
    1.42 +%T Meet Uzbl \(en a Web Browser With the Unix Philosophy
    1.43 +%I Slashdot
    1.44 +%D 2009-09-05
    1.45 +%O Online: \f(CW\s-1 http://linux.slashdot.org/story/09/09/05/2142235

     2.1 --- a/unix-phil.ms	Mon Apr 12 10:52:59 2010 +0200
     2.2 +++ b/unix-phil.ms	Mon Apr 12 14:11:39 2010 +0200
     2.3 @@ -1,6 +1,7 @@
     2.4  .nr PS 11
     2.5  .nr VS 13
     2.6  .nr lu 0
     2.7 +
     2.8  .de CW
     2.9  .nr PQ \\n(.f
    2.10  .if t .ft CW
    2.11 @@ -11,6 +12,7 @@
    2.12  .if n .if \\n(.$>1 \&\\$1\c
    2.13  .if n .if \\n(.$>1 \&\\$2
    2.14  ..
    2.15 +
    2.16  .ds [. \ [
    2.17  .ds .] ]
    2.18  
    2.19 @@ -26,6 +28,11 @@
    2.20  .ps -1
    2.21  ..
    2.22  
    2.23 +.am DS
    2.24 +.CW
    2.25 +.ps -1
    2.26 +..
    2.27 +
    2.28  .\"----------------------------------------
    2.29  
    2.30  .TL
    2.31 @@ -45,8 +52,8 @@
    2.32  .FS
    2.33  .ps -1
    2.34  This paper was prepared for the ``Software Analysis'' seminar at University Ulm.
    2.35 -Mentor was professor Schweiggert. 2010-04-05
    2.36 -.br
    2.37 +Mentor was professor Franz Schweiggert.
    2.38 +Handed in on 2010-04-12.
    2.39  You may retrieve this document from
    2.40  .CW \s-1http://marmaro.de/docs \ .
    2.41  .FE
    2.42 @@ -54,6 +61,8 @@
    2.43  .NH 1
    2.44  Introduction
    2.45  .XS
    2.46 +.sp .5v
    2.47 +.B
    2.48  \*(SN Introduction
    2.49  .XE
    2.50  .LP
    2.51 @@ -130,6 +139,7 @@
    2.52  Importance of software design in general
    2.53  .XS
    2.54  .sp .5v
    2.55 +.B
    2.56  \*(SN Importance of software design in general
    2.57  .XE
    2.58  .LP
    2.59 @@ -245,6 +255,7 @@
    2.60  The Unix Philosophy
    2.61  .XS
    2.62  .sp .5v
    2.63 +.B
    2.64  \*(SN The Unix Philosophy
    2.65  .XE
    2.66  .LP
    2.67 @@ -263,8 +274,6 @@
    2.68  .PP
    2.69  Counting the number of files in the current directory:
    2.70  .DS
    2.71 -.CW
    2.72 -.ps -1
    2.73  ls | wc -l
    2.74  .DE
    2.75  The
    2.76 @@ -276,8 +285,6 @@
    2.77  .PP
    2.78  Counting the number of files that do not contain ``foo'' in their name:
    2.79  .DS
    2.80 -.CW
    2.81 -.ps -1
    2.82  ls | grep -v foo | wc -l
    2.83  .DE
    2.84  Here, the list of files is filtered by
    2.85 @@ -287,8 +294,6 @@
    2.86  .PP
    2.87  Finding the five largest entries in the current directory.
    2.88  .DS
    2.89 -.CW
    2.90 -.ps -1
    2.91  du -s * | sort -nr | sed 5q
    2.92  .DE
    2.93  .CW "du -s *
    2.94 @@ -442,8 +447,6 @@
    2.95  A wrapper script for finding the five largest entries in the current directory
    2.96  could look like this:
    2.97  .DS
    2.98 -.CW
    2.99 -.ps -1
   2.100  #!/bin/sh
   2.101  du -s * | sort -nr | sed 5q
   2.102  .DE
   2.103 @@ -452,8 +455,6 @@
   2.104  It is probably worth to make the program flexible on the number of
   2.105  entries it prints:
   2.106  .DS
   2.107 -.CW
   2.108 -.ps -1
   2.109  #!/bin/sh
   2.110  num=5
   2.111  [ $# -eq 1 ] && num="$1"
   2.112 @@ -513,6 +514,10 @@
   2.113  .PP
   2.114  Writing a prototype is a great method for becoming familiar with the requirements
   2.115  and to run into real problems early.
   2.116 +.[ [
   2.117 +gancarz
   2.118 +unix philosophy
   2.119 +.], page 28 f.]
   2.120  .PP
   2.121  Prototyping is often seen as a first step in building a software.
   2.122  This is, of course, good.
   2.123 @@ -534,7 +539,7 @@
   2.124  .LP
   2.125  The Unix Philosophy aims for the 90% solution;
   2.126  others call it the ``Worse is better'' approach.
   2.127 -Practical experience shows, that:
   2.128 +Experience from real life projects shows:
   2.129  .PP
   2.130  (1) It is almost never possible to define the
   2.131  requirements completely and correctly the first time.
   2.132 @@ -552,6 +557,12 @@
   2.133  Software parts that will be written in future,
   2.134  do not need maintenance till then.
   2.135  .PP
   2.136 +See Brooks' ``The Mythical Man-Month'' for reference.
   2.137 +.[ [
   2.138 +brooks
   2.139 +mythical man-month
   2.140 +.], page 115 ff.]
   2.141 +.PP
   2.142  Starting with a prototype in a scripting language has several advantages:
   2.143  .IP \(bu
   2.144  As the initial effort is low, one will likely start right away.
   2.145 @@ -608,26 +619,21 @@
   2.146  (This may be at the level of one creature, or at the level of one species.)
   2.147  The fitness of software is affected mainly by four properties:
   2.148  portability of code, portability of data, range of usability, and reusability of parts.
   2.149 -.\" .IP \(bu
   2.150 -.\" portability of code
   2.151 -.\" .IP \(bu
   2.152 -.\" portability of data
   2.153 -.\" .IP \(bu
   2.154 -.\" range of usability
   2.155 -.\" .IP \(bu
   2.156 -.\" reuseability of parts
   2.157  .PP
   2.158  (1)
   2.159  .I "Portability of code
   2.160  means, using high-level programming languages,
   2.161  sticking to the standard,
   2.162 +.[ [
   2.163 +kernighan pike
   2.164 +practice of programming
   2.165 +.], chapter\|8]
   2.166  and avoiding optimizations that introduce dependencies on specific hardware.
   2.167  Hardware has a much lower lifetime than software.
   2.168  By chaining software to a specific hardware,
   2.169  the software's lifetime gets shortened to that of this hardware.
   2.170  In contrast, software should be easy to port \(en
   2.171  adaptation is the key to success.
   2.172 -.\" cf. practice of prog: ch08
   2.173  .PP
   2.174  (2)
   2.175  .I "Portability of data
   2.176 @@ -641,7 +647,10 @@
   2.177  Apart from being able to transfer data between machines,
   2.178  readable data has the great advantage, that humans are able to directly
   2.179  read and edit it with text editors and other tools from the Unix toolchest.
   2.180 -.\" gancarz tenet 5
   2.181 +.[ [
   2.182 +gancarz
   2.183 +unix philosophy
   2.184 +.], page 56 ff.]
   2.185  .PP
   2.186  (3)
   2.187  A large
   2.188 @@ -705,6 +714,7 @@
   2.189  Case study: \s-1MH\s0
   2.190  .XS
   2.191  .sp .5v
   2.192 +.B
   2.193  \*(SN Case study: \s-1MH\s0
   2.194  .XE
   2.195  .LP
   2.196 @@ -718,6 +728,9 @@
   2.197  This first case study is about the mail user agents (\s-1MUA\s0)
   2.198  \s-1MH\s0 (``mail handler'') and its descendent \fInmh\fP
   2.199  (``new mail handler'').
   2.200 +.[
   2.201 +nmh website
   2.202 +.]
   2.203  \s-1MUA\s0s provide functions to read, compose, and organize mail,
   2.204  but (ideally) not to transfer it.
   2.205  In this document, the name \s-1MH\s0 will be used to include nmh.
   2.206 @@ -1052,7 +1065,6 @@
   2.207  To use the format as default for \f(CWscan\fP, a single line,
   2.208  reading
   2.209  .DS
   2.210 -.CW
   2.211  scan: -form FORMATFILE
   2.212  .DE
   2.213  must be added to \f(CW.mh_profile\fP.
   2.214 @@ -1168,6 +1180,7 @@
   2.215  Case study: uzbl
   2.216  .XS
   2.217  .sp .5v
   2.218 +.B
   2.219  \*(SN Case study: uzbl
   2.220  .XE
   2.221  .LP
   2.222 @@ -1200,20 +1213,35 @@
   2.223  Fortunately, he found the time.
   2.224  One day later, the first prototype was out.
   2.225  One week later, uzbl had an own website.
   2.226 +.[
   2.227 +uzbl website
   2.228 +.]
   2.229  One month after the first code showed up,
   2.230 -a mailing list was installed to coordinate and discuss further development.
   2.231 -Then a wiki followed to store documentation and scripts that showed up on the
   2.232 +a mailing list was installed to coordinate and discuss further development,
   2.233 +and a wiki was added to store documentation and scripts that showed up on the
   2.234  mailing list and elsewhere.
   2.235  .PP
   2.236  In the, now, one year of uzbl's existence, it was heavily developed on various branches.
   2.237  Plaetinck's task became more and more to only merge the best code from the
   2.238  different branches into his main branch, and to apply patches.
   2.239 +.[
   2.240 +lwn uzbl
   2.241 +.]
   2.242  About once a month, Plaetinck released a new version.
   2.243  In September 2009, he presented several forks of uzbl.
   2.244 +.[ [
   2.245 +uzbl website
   2.246 +.], news archive]
   2.247  Uzbl, actually, opened the field for a whole family of web browsers with similar shape.
   2.248  .PP
   2.249  In July 2009, \fILinux Weekly News\fP published an interview with Plaetinck about uzbl.
   2.250 +.[
   2.251 +lwn uzbl
   2.252 +.]
   2.253  In September 2009, the uzbl web browser was on \fISlashdot\fP.
   2.254 +.[
   2.255 +slashdot uzbl
   2.256 +.]
   2.257  
   2.258  .NH 2
   2.259  Contrasts to other web browsers
   2.260 @@ -1240,7 +1268,6 @@
   2.261  and on stdin, and it writes events to a Unix socket and to stdout.
   2.262  Loading a webpage in a running uzbl instance requires only:
   2.263  .DS
   2.264 -.CW
   2.265  echo 'uri http://example.org' >/path/to/uzbl-fifo
   2.266  .DE
   2.267  The graphical rendering of the webpage is done by webkit,
   2.268 @@ -1340,7 +1367,6 @@
   2.269  whenever the event of a fully loaded page occurs.
   2.270  The script to append the entry to the history is not much more than:
   2.271  .DS
   2.272 -.CW
   2.273  #!/bin/sh
   2.274  file=/path/to/uzbl-history
   2.275  echo `date +'%Y-%m-%d %H:%M:%S'`" $6 $7" >> $file
   2.276 @@ -1354,7 +1380,6 @@
   2.277  With error checking and corner case handling removed,
   2.278  the script looks like this:
   2.279  .DS
   2.280 -.CW
   2.281  #!/bin/sh
   2.282  file=/path/to/uzbl-history
   2.283  goto=`tac $file | dmenu | cut -d' ' -f 3`
   2.284 @@ -1496,6 +1521,7 @@
   2.285  Final thoughts
   2.286  .XS
   2.287  .sp .5v
   2.288 +.B
   2.289  \*(SN Final thoughts
   2.290  .XE
   2.291  
   2.292 @@ -1519,7 +1545,17 @@
   2.293  .LP
   2.294  Make the right choice!
   2.295  
   2.296 -.nr PI .3i
   2.297 +
   2.298 +.bp
   2.299 +.TL
   2.300 +References
   2.301 +.LP
   2.302 +.XS
   2.303 +.sp .5v
   2.304 +.B
   2.305 +References
   2.306 +.XE
   2.307 +.ev r
   2.308  .rm ]<
   2.309  .de ]<
   2.310  .LP
   2.311 @@ -1528,23 +1564,17 @@
   2.312  \\..
   2.313  .rm FS FE
   2.314  ..
   2.315 -.ds CH "
   2.316 -.bp
   2.317 -.rs
   2.318 -.sp .3i
   2.319 -.TL
   2.320 -References
   2.321 -.LP
   2.322 -.XS
   2.323 -.sp .5v
   2.324 -References
   2.325 -.XE
   2.326 -.sp 2v
   2.327  .nr PS -1
   2.328  .nr VS -1
   2.329  .[
   2.330  $LIST$
   2.331  .]
   2.332 -.\".wh -1p
   2.333 +.nr PS +1
   2.334 +.nr VS +1
   2.335 +.ev
   2.336 +
   2.337  .bp
   2.338 -.PX
   2.339 +.TL
   2.340 +Table of Contents
   2.341 +.LP
   2.342 +.PX no