GitHub - helderasmoreira/scientific-paper-indexer: Scientific paper index using VDM++

This repository has been archived by the owner on Nov 9, 2021. It is now read-only.

Name		Name	Last commit message	Last commit date
Latest commit History 81 Commits
JavaProject		JavaProject
TestAffiliation		TestAffiliation
TestAuthor		TestAuthor
TestDate		TestDate
TestIndexer		TestIndexer
TestInterest		TestInterest
TestPublication		TestPublication
.gitignore		.gitignore
Affiliation.rtf		Affiliation.rtf
Author.rtf		Author.rtf
Date.rtf		Date.rtf
Indexer.rtf		Indexer.rtf
Interest.rtf		Interest.rtf
Publication.rtf		Publication.rtf
Reference.rtf		Reference.rtf
Relatorio.docx		Relatorio.docx
TestAffiliation.bat		TestAffiliation.bat
TestAffiliation.rtf		TestAffiliation.rtf
TestAll.bat		TestAll.bat
TestAuthor.bat		TestAuthor.bat
TestAuthor.rtf		TestAuthor.rtf
TestDate.bat		TestDate.bat
TestDate.rtf		TestDate.rtf
TestIndexer.bat		TestIndexer.bat
TestIndexer.rtf		TestIndexer.rtf
TestInterest.bat		TestInterest.bat
TestInterest.rtf		TestInterest.rtf
TestPublication.bat		TestPublication.bat
TestPublication.rtf		TestPublication.rtf
indexer.eap		indexer.eap
project.opt		project.opt
project.prj		project.prj
project.wgm		project.wgm
vdmtest.bat		vdmtest.bat