Comments (2)
Difficulty: There is no explicit date in the AFP files to check. We cannot check the date of the hg commit because the AFP might not have been downloaded via hg.
Available data:
metadata/metadata
contains a list of all AFP-entries, together with their initial publication date. Later updates do not increase this.metadata/releases
contains the dates of all releases of the AFP-entries, but may lack the most current one.
Best heuristic approach I can think of so far:
Use the latest date in both metadata/metadata
and metadata/releases
as the timestamp for the AFP.
from qrhl-tool.
It seems the metadata/releases
will just give us the date of the last Isabelle-release. So metadata/metadata
is the best heuristic we can use. New AFP entries are added quite often, so it's probably acceptable.
from qrhl-tool.
Related Issues (20)
- Sbt test fails due to Bad Parent Session HOT 4
- ProofGeneral and qrhl-tool detect end of command differently. HOT 1
- Document sp-tactic
- Support Isabelle2022 HOT 1
- Document extended swap-tactic HOT 1
- Document denotational-equivalence support in byqrhl tactic
- Document `-q` option for `proofgeneral.sh` HOT 2
- Fix syntax of measure in/with
- Document `print goal` command HOT 1
- Line numbers in goal display HOT 1
- Make swap-tactic syntax simpler HOT 2
- Rewrite tactic that allows to replace some line(s) by something denotationally equivalent HOT 1
- Document `rewrite` tactic.
- Make `print xxx` work consistently. HOT 1
- Add `rewrite` tactic to ProofGeneral syntax highlighting HOT 1
- Update upstream ProofGeneral HOT 2
- Fix finding of roots in `hashedcomputation.RootsDirectory` HOT 1
- Update webpage
- `print goal` should check assumptions
- Reloading Isabelle theories in qrhl-tool doesn't work right in Windows
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from qrhl-tool.