Mercurial Mercurial > hg > nominal2 / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
.hgignore
author Christian Urban <urbanc@in.tum.de>
Thu, 19 Apr 2018 13:57:17 +0100
changeset 3245 017e33849f4d
parent 3173 9876d73adb2b
permissions -rw-r--r--
updated to Isabelle 2016-1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2980
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset 
     1
 
syntax: glob
e239c9f18144 Add an ".hgignore" file
Cezary Kaliszyk <kaliszyk@in.tum.de>
parents:
diff changeset 
     2
 












e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




     3


*~













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




     4


.#*













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




     5









3082






a6b0220fb8ae
Added an initial version of qpaper-jv and a TODO of things to write about.



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2997

diff
changeset




     6


Quotient-Paper-jv/generated













a6b0220fb8ae
Added an initial version of qpaper-jv and a TODO of things to write about.



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2997

diff
changeset




     7


Quotient-Paper-jv/document.pdf













a6b0220fb8ae
Added an initial version of qpaper-jv and a TODO of things to write about.



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2997

diff
changeset




     8


qpaper-jv.pdf













a6b0220fb8ae
Added an initial version of qpaper-jv and a TODO of things to write about.



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2997

diff
changeset




     9









2997






132575f5bd26
Add lmcs-paper to hgignore



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2980

diff
changeset




    10


LMCS-Paper/generated













132575f5bd26
Add lmcs-paper to hgignore



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2980

diff
changeset




    11


LMCS-Paper/document.pdf













132575f5bd26
Add lmcs-paper to hgignore



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2980

diff
changeset




    12


lmcs-paper.pdf













132575f5bd26
Add lmcs-paper to hgignore



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 
2980

diff
changeset




    13









2980






e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    14


ESOP-Paper/generated













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    15


ESOP-Paper/document.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    16


esop-paper.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    17














e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    18


Fun-Paper/generated













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    19


Fun-Paper/document.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    20


fnpaper.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    21














e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    22


Pearl-jv/generated













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    23


Pearl-jv/document.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    24


pearl-jv.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    25














e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    26


Pearl/generated













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    27


Pearl/document.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    28


pearl.pdf













e239c9f18144
Add an ".hgignore" file



Cezary Kaliszyk <kaliszyk@in.tum.de>


parents: 

diff
changeset




    29









3173






9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    30


Nominal/Ex/SFT/generated













9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    31


Nominal/Ex/SFT/document.pdf













9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    32


sft-paper.pdf













9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    33














9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    34


Nominal/Ex/Exec/generated













9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    35


Nominal/Ex/Exec/document.pdf













9876d73adb2b
Executing Lambda Terms



Cezary Kaliszyk <cezarykaliszyk@gmail.com>


parents: 
3082

diff
changeset




    36


exec-paper.pdf















nominal2