Minor formatting fix for ae641cdfc539

Please merge to v6.0

original commit: f5177177bc86530b3ae22ce4424130bd3ff74d77
This commit is contained in:
Asumu Takikawa 2013-11-26 13:50:32 -05:00
parent 4eedc6cd3f
commit e51f4827c9

View File

@ -64,29 +64,30 @@ Here is an example of a paper written in the LNCS format:
@url["http://pdos.csail.mit.edu/scigen"]}
@codeblock[#:keep-lang-line? #t]|{
#lang scribble/lncs
#lang scribble/lncs
@authors[@author[#:inst "1"]{Lauritz Darragh}
@author[#:inst "2"]{Nikolaj Kyran}
@author[#:inst "2"]{Kirsten Gormlaith}
@author[#:inst "2"]{Tamaz Adrian}]
@authors[@author[#:inst "1"]{Lauritz Darragh}
@author[#:inst "2"]{Nikolaj Kyran}
@author[#:inst "2"]{Kirsten Gormlaith}
@author[#:inst "2"]{Tamaz Adrian}]
@institutes[@institute["University of Southeast Boston"
@linebreak[]
@email|{darragh@cs.seboston.edu}|]
@institute["University of Albion"
@linebreak[]
@email|{{nkyran,gorm,tamaz}@cs.albion.ac.uk}|]]
@institutes[
@institute["University of Southeast Boston"
@linebreak[]
@email|{darragh@cs.seboston.edu}|]
@institute["University of Albion"
@linebreak[]
@email|{{nkyran,gorm,tamaz}@cs.albion.ac.uk}|]]
@title{Arak: Low-Energy, Interposable Theory }
@title{Arak: Low-Energy, Interposable Theory}
@abstract{The implications of client-server symmetries have been
far-reaching and pervasive. Given the current status of
constant-time theory, mathematicians daringly desire the synthesis
of rasterization, which embodies the essential principles of
algorithms. In this work, we describe a client-server tool for
investigating flip-flop gates (Arak), verifying that the
producer-consumer problem can be made homogeneous, secure, and
wireless.}
@abstract{The implications of client-server symmetries have been
far-reaching and pervasive. Given the current status of
constant-time theory, mathematicians daringly desire the synthesis
of rasterization, which embodies the essential principles of
algorithms. In this work, we describe a client-server tool for
investigating flip-flop gates (Arak), verifying that the
producer-consumer problem can be made homogeneous, secure, and
wireless.}
}|