destructor of PajeDefinitions
delete decoder
fix size of event definition vector
remove paje_line from PajeTraceEvent
make pajeEventDefinition of PajeTraceEvent private
fix flex/bison parser for paje trace files
Merge branch 'master' of github.com:schnorr/pajeng
free memory
add gpl
kill pjflex
fix compilation
improve README
add lang-paje document sources in latex
make it compile alone if necessary
drafting parallel reading support in the lang paje file format def
mention parallel reading in the paragraph on type hierarchy
use verbatim insted to show an example of paje header
add the optional Filename field in PajeCreateContainer
cosmetics
Merge remote-tracking branch 'upstream/master'

merge with original repository