Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. tuned
  2. updated the abstract in root.tex
  3. added the r{..n} regular expression to the extensions directory
Changeset 12742:ae47c479a7c4 by Christian Urban _christian.urban@kcl.ac.uk_:
tuned
The file was modified thys/Posix-Lexing/document/root.tex
Changeset 12741:66e3dcab868b by Christian Urban _christian.urban@kcl.ac.uk_:
updated the abstract in root.tex
The file was modified thys/Posix-Lexing/document/root.bib
The file was modified thys/Posix-Lexing/document/root.tex
Changeset 12740:09f66a4ada38 by Christian Urban _christian.urban@kcl.ac.uk_:
added the r{..n} regular expression to the extensions directory
The file was modified thys/Posix-Lexing/Extensions/Derivatives3.thy
The file was modified thys/Posix-Lexing/Extensions/Lexer3.thy
The file was modified thys/Posix-Lexing/Extensions/LexicalVals3.thy
The file was modified thys/Posix-Lexing/Extensions/Positions3.thy
The file was modified thys/Posix-Lexing/Extensions/Regular_Exps3.thy