• Home
• org.overturetool.ide.plugins
• org.overture.ide.plugins.latex
• 3.0.2
• source code
• OVERTURE.SF

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

META-INF.OVERTURE.SF Maven / Gradle / Ivy

Signature-Version: 1.0
SHA-256-Digest-Manifest-Main-Attributes: FrHToplD/2fOw9BPmQRzV4z5s/6c7
 NW5WNxwtiSuKAI=
SHA-256-Digest-Manifest: ArvtpqsBzkFCW0WvR3op4qu4SEchV3zB+S19SHM6DGg=
Created-By: 1.8.0_212 (Oracle Corporation)

Name: org/overture/ide/plugins/latex/properties/WorkbenchPropertyPage1
 .java
SHA-256-Digest: 3s0MSXvkjyDuBFogheb/xihl7LtHG6FVNtoL/xsI2xk=

Name: org/overture/ide/plugins/latex/utility/ProcessConsolePrinter.jav
 a
SHA-256-Digest: XBVSMaFtdWYIS3uVKSW39WY/wCjiOjE8oRbYSurgYIA=

Name: org/overture/ide/plugins/latex/utility/PdfLatex.java
SHA-256-Digest: eeIY2qQVaWFn0HAiQu3xKSFmpcyyrxCcygVhX4dWaYo=

Name: org/overture/ide/plugins/latex/utility/XetexBuilder.java
SHA-256-Digest: V584JOkZUOJU57o+T572jU5vd+maKw9ifZo80xnQ9d4=

Name: org/overture/ide/plugins/latex/utility/PdfGenerator.java
SHA-256-Digest: vqPgbJSNOVvTrI7ugSXYav4igTE/r3XCxp7H5C9E4QY=

Name: org/overture/ide/plugins/latex/ILatexConstants.java
SHA-256-Digest: OEFZ/ysF4dfX5eVYEXym/hxj4tweMWuLJNw0mWqPFwM=

Name: org/overture/ide/plugins/latex/utility/LatexBuilder.java
SHA-256-Digest: 3kIEQbAJqN/MYO3YbZRjybPKnDCnjEf/qtT7CeZrBUw=

Name: org/overture/ide/plugins/latex/commands/LatexCommand.java
SHA-256-Digest: UfX+/VHUGP5pIZW4qjx9GfQak82VVcL9RhYDWXupwUc=

Name: org/overture/ide/plugins/latex/utility/Xetex.java
SHA-256-Digest: jX2vuEF/3BcypUxx0i6xgJizl6vZPZ0193FKfy7hCpU=

Name: org/overture/ide/plugins/latex/utility/LatexUtils.java
SHA-256-Digest: TqJDZJjBQkOmnTlefiftMB8gxJN3js5h10A6tynE50M=

Name: org/overture/ide/plugins/latex/preference/WorkbenchPreferencePag
 eLatex.java
SHA-256-Digest: tA7blPisd7zSmNu1/30t8hcOeWqVWhak8jp+OZxRLA8=

Name: org/overture/ide/plugins/latex/utility/XetexSourceFile.java
SHA-256-Digest: brcoz+KDo5lnSA6Hg3ZDXhjhHsc2/LdE/7WHxxYhTs0=

Name: org/overture/ide/plugins/latex/LatexPlugin.java
SHA-256-Digest: 2yyan9BfWpZiFnhtDjUeRP8V8TGtuuymef1ErHG8/bk=

Name: org/overture/ide/plugins/latex/utility/PdfBuilder.java
SHA-256-Digest: 55A5w8hyQbH/WfiBIOWrMuagfWxQKuqwmLvua9lxNa0=

Name: org/overture/ide/plugins/latex/utility/TreeSelectionLocater.java
SHA-256-Digest: LzOJGh5oYXLuyJmBne6rrD8CBJjWx+v7jr7K3cF1uNE=

Name: org/overture/ide/plugins/latex/utility/LatexUtilsBase.java
SHA-256-Digest: wE6K9q6wQgzTce1YCPJhsRaFUlxLpwPw6zQh4YSZ3mA=